| changeset 5708 | fb09ab6a447f |
| parent 5063 | d45ec8d00ab0 |
| child 6078 | e01e2328d0f0 |
| 5707:b0e631634b5a | 5708:fb09ab6a447f |
|---|---|
1 #!/bin/bash |
1 #!/bin/bash |
2 # |
2 # |
3 # $Id$ |
3 # $Id$ |
4 # |
4 # |
5 # SML/NJ startup script (for 109.27-109.33, 110 or later). |
5 # SML/NJ startup script (for 110 or later). |
6 # |
6 # |
7 # Global vars: INFILE OUTFILE MLTEXT TERMINATE NOWRITE ISABELLE_TMP, |
7 # Global vars: INFILE OUTFILE MLTEXT TERMINATE NOWRITE ISABELLE_TMP, |
8 # and from settings |
8 # and from settings |
9 |
9 |
10 |
10 |