diff options
| author | Pierre Courtieu | 2006-04-26 22:33:54 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2006-04-26 22:33:54 +0000 |
| commit | d74950e260914b56787138cca662ada9170533d8 (patch) | |
| tree | 16a9f9fc6aebc8c4111ec0c70ab11fca4c6b40d7 /hol98/example.sml | |
| parent | 8ba99b2013e0f62c9117fc79364630ff1fbec585 (diff) | |
Modified documentation abou file variables to be compliant with new
xxx-prog-args variabel.
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions