 Parent Directory
|
|
|
|
|
src/
|
782 |
21 years |
george |
allow escapes for arrow characters
|
|
READMES/
|
780 |
21 years |
blume |
merging changes from private devel branch
|
|
config/
|
778 |
21 years |
blume |
made new bootfiles
|
|
sml-mode/
|
770 |
21 years |
monnier |
*** empty log message ***
|
|
ckit/
|
665 |
21 years |
nch |
Fixed bug 14 -- see HISTORY.
Flag in config was temporarily changed and not set ... |
|
tests/
|
552 |
22 years |
dbm |
revised README with [basis/tests setup] note
|
|
benchmarks/
|
538 |
22 years |
monnier |
*** empty log message ***
|
HISTORY
|
781 |
21 years |
blume |
forgot the HISTORY file
|
|
BOOT
|
778 |
21 years |
blume |
made new bootfiles
|
|
.cvsignore
|
569 |
22 years |
blume |
- size info in BOOTLIST
* no fixed upper limits for number of bootfiles or ... |
|
CVSNOTES
|
185 |
23 years |
monnier |
* opt/fcontract.sml: take advantage of single-arm SWITCH (aka decon)
(SWITCH(CON... |
