MLRISC/
|
4474 |
6 months |
jhr |
Release 110.82 |
|
admin/
|
4529 |
5 days |
blume |
Eliminate bash-ism to make the checkout-all.sh script work with dash. |
|
archive/
|
4054 |
3 years |
dbm |
Initial import of archive (of early versions of sml/nj) |
|
benchmarks/
|
2077 |
11 years |
blume |
moved release-110.32/benchmarks |
|
bugs/
|
1345 |
14 years |
macqueen |
bugs update: a couple fixes, a couple reclassifications
|
|
ckit/
|
4478 |
6 months |
jhr |
Release 110.82 |
|
cml/
|
4479 |
6 months |
jhr |
Release 110.82 |
|
config/
|
4471 |
6 months |
jhr |
Release 110.82 |
|
dev-notes/
|
4514 |
5 months |
jhr |
revised literals note |
|
doc/
|
4533 |
3 hours |
jhr |
fixed bug #191
|
|
eXene/
|
4480 |
6 months |
jhr |
Release 110.82 |
|
heap2asm/
|
4484 |
6 months |
jhr |
Release 110.82 |
|
lexgen/
|
2316 |
11 years |
blume |
Release 110.62 |
|
ml-burg/
|
4482 |
6 months |
jhr |
Release 110.82 |
|
ml-lex/
|
4483 |
6 months |
jhr |
Release 110.82 |
|
ml-yacc/
|
4475 |
6 months |
jhr |
Release 110.82 |
|
nlffi/
|
4485 |
6 months |
jhr |
Release 110.82 |
|
osx-dist/
|
4519 |
4 months |
jhr |
Include the version in the pkgbuild command (fixes bug #192)
|
|
pages/
|
4526 |
6 days |
dbm |
further minor edit in working/110.82/index.html |
|
papers/
|
3724 |
6 years |
dbm |
minor corrections to main.tex |
|
pgraph/
|
4477 |
6 months |
jhr |
Release 110.82 |
|
rpm-dist/
|
3987 |
3 years |
jhr |
make RPM spec file generic w.r.t. SML/NJ version
|
|
sml/
|
4535 |
3 hours |
jhr |
code formatting and comments
|
|
sml-mode/
|
3723 |
6 years |
monnier |
Merge sml-defs.el into sml-mode.el.
* sml-mode.el: Merge code from sml-defs.el.
... |
|
smlnj/
|
2945 |
10 years |
blume |
switched svn:externals |
|
smlnj-c/
|
4481 |
6 months |
jhr |
Release 110.82 |
|
smlnj-lib/
|
4518 |
4 months |
jhr |
fix typo in error message |
|
tests/
|
3792 |
5 years |
jhr |
add outputs for int64.sml
|
|
trace-debug-profile/
|
4476 |
6 months |
jhr |
Release 110.82 |
