Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /doc/trunk/src/man/sml.1.txt
ViewVC logotype

Diff of /doc/trunk/src/man/sml.1.txt

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 3917, Wed Aug 20 15:05:46 2014 UTC revision 3918, Wed Aug 20 15:13:23 2014 UTC
# Line 48  Line 48 
48  *@SMLdebug*='FILE'::  *@SMLdebug*='FILE'::
49    write debugging info to file    write debugging info to file
50    
51  *-D*<name>=<v>::  *-C*'ctl'='value'::
52    set CM variable to given value)    set the control 'ctl' to 'value'.
53  *-D*<name>::  
54    set CM variable to 1)  *-D*'name'='value'::
55  *-U*name::    define the CM variable 'name' to have the given value.
56    unset CM variable)  
57  *-C*<control>=<v>::  *-D*'name::
58    set named control)    define the CM variable 'name' to have the value 1.
59    
60    *-U*'name'::
61      remove any definition of the CM variable 'name'.
62    
63    
64  *-H*::  *-H*::
65    produce complete help listing)    produce complete help listing
66    
67  *-h*::  *-h*::
68    produce minimal help listing)    produce minimal help listing
69    
70  *-h*<level>::  *-h*<level>::
71    help with obscurity limit)    help with obscurity limit
72    
73  *-S*::  *-S*::
74    list all current settings)    list all current settings
75    
76  *-s*<level>::  *-s*<level>::
77    limited list of settings)    limited list of settings
78    
79  *-E*::  *-E*::
80    list all environment variables)    list all the controls along with their corresponding environment variables
81    
82  *-e*<level>::  *-e*<level>::
83    limited list of environment variables)    limited list of environment variables
84    
 <file>.cm        (CM.make or CM.autoload)  
85  *-m*::  *-m*::
86    switch to CM.make    switch to CM.make
87    
88  *-a*::  *-a*::
89    switch to CM.autoload; default    switch to CM.autoload; default
90  *<file>.sig       (use)  
91  *<file>.sml       (use)  'file.cm'::
92  *<file>.fun       (use)    run +CM.make+ or +CM.autoload+ on 'file.cm' and then return to the SML prompt.
93      Which command is run is determined by the *-m* and *-a* flags.
94    
95    'file.sig'::
96      execute +use+ 'file.sig' before entering the SML top-level loop.
97    
98    'file.sml'::      (use)
99      execute +use+ 'file.sml' before entering the SML top-level loop.
100    
101    'file.fun'::       (use)
102      execute +use+ 'file.fun' before entering the SML top-level loop.
103    
104    
105  AUTHOR  AUTHOR

Legend:
Removed from v.3917  
changed lines
  Added in v.3918

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0