MLRISC/
|
4644 |
2 months |
jhr |
Release 110.83 |
|
admin/
|
4529 |
4 months |
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 |
15 years |
macqueen |
bugs update: a couple fixes, a couple reclassifications
|
|
ckit/
|
4648 |
2 months |
jhr |
Release 110.83 |
|
cml/
|
4649 |
2 months |
jhr |
Release 110.83 |
|
config/
|
4679 |
8 weeks |
jhr |
recognize Linux kernel 5.x and macOS 10.18 Mojave |
|
dev-notes/
|
4680 |
8 weeks |
jhr |
minor edit |
|
doc/
|
4686 |
15 hours |
jhr |
update README
|
|
eXene/
|
4650 |
2 months |
jhr |
Release 110.83 |
|
heap2asm/
|
4654 |
2 months |
jhr |
Release 110.83 |
|
lexgen/
|
2316 |
11 years |
blume |
Release 110.62 |
|
ml-burg/
|
4652 |
2 months |
jhr |
Release 110.83 |
|
ml-lex/
|
4653 |
2 months |
jhr |
Release 110.83 |
|
ml-yacc/
|
4645 |
2 months |
jhr |
Release 110.83 |
|
nlffi/
|
4655 |
2 months |
jhr |
Release 110.83 |
|
osx-dist/
|
4661 |
2 months |
jhr |
minor improvements to build-pkg and update copyright year |
|
pages/
|
4663 |
2 months |
jhr |
change http to https |
|
papers/
|
3724 |
6 years |
dbm |
minor corrections to main.tex |
|
pgraph/
|
4647 |
2 months |
jhr |
Release 110.83 |
|
rpm-dist/
|
3987 |
3 years |
jhr |
make RPM spec file generic w.r.t. SML/NJ version
|
|
sml/
|
4682 |
40 hours |
jhr |
Fixed bug in implementation of monomorphic buffers (CharBuffer and Word8Buffer... |
|
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/
|
4651 |
2 months |
jhr |
Release 110.83 |
|
smlnj-lib/
|
4685 |
15 hours |
jhr |
Added SExp pretty printer, plus a bug fix
|
|
tests/
|
4635 |
2 months |
jhr |
update summary |
|
trace-debug-profile/
|
4646 |
2 months |
jhr |
Release 110.83 |
