Parent Directory
|
|
|
|
|
tests/
|
795 |
20 years |
dbm |
adding new files, mostly modules test outputs
|
src/
|
1346 |
17 years |
jhr |
New file. This is a conversion from the Sparc version and is
a "work in pro... |
sml-mode/
|
1299 |
18 years |
monnier |
Remove outdated `sml-load-hook'.
|
config/
|
1342 |
17 years |
mblume |
works under w32 again;
bug fix for ml-nlffigen; other bugfixes
|
ckit/
|
975 |
19 years |
blume |
updates to CKIT, CM, NLFFI, and scripts (see HISTORY)
|
benchmarks/
|
538 |
21 years |
monnier |
*** empty log message ***
|
READMES/
|
1285 |
18 years |
blume |
correct README.html (but I will not re-tag again for this, sorry)
|
INSTALL
|
1261 |
18 years |
blume |
added handling of SMLNJ_HOME
|
HISTORY
|
1343 |
17 years |
macqueen |
updated HISTORY
|
CVSNOTES
|
185 |
22 years |
monnier |
* opt/fcontract.sml: take advantage of single-arm SWITCH (aka decon)
(SWITCH(CON... |
BOOT
|
1342 |
17 years |
mblume |
works under w32 again;
bug fix for ml-nlffigen; other bugfixes
|
.cvsignore
|
569 |
21 years |
blume |
- size info in BOOTLIST
* no fixed upper limits for number of bootfiles or ... |