MLRISC/
|
5857 |
2 years |
jhr |
remove trailing spaces |
admin/
|
5009 |
3 years |
jhr |
add dev-notes to list of updates |
archive/
|
5566 |
2 years |
dbm |
adding SMLNJ 110 |
benchmarks/
|
2077 |
15 years |
blume |
moved release-110.32/benchmarks |
bugs/
|
1345 |
18 years |
macqueen |
bugs update: a couple fixes, a couple reclassifications
|
ckit/
|
5658 |
2 years |
jhr |
Release 110.93 |
cml/
|
5835 |
2 years |
jhr |
fix typo (wrong comment syntax) |
config/
|
5872 |
2 years |
jhr |
added missing shift operations |
dev-notes/
|
5856 |
2 years |
jhr |
update 64-bit TODO list |
doc/
|
5865 |
2 years |
jhr |
update 110.94 release notes |
eXene/
|
5660 |
2 years |
jhr |
Release 110.93 |
heap2asm/
|
5813 |
2 years |
jhr |
add support for -32/-64 option to build script |
lexgen/
|
2316 |
15 years |
blume |
Release 110.62 |
ml-burg/
|
5864 |
2 years |
jhr |
add test for NO_PLUGINS to CM file |
ml-lex/
|
5810 |
2 years |
jhr |
add support for -32/-64 option to build script |
ml-yacc/
|
5808 |
2 years |
jhr |
add support for -32/-64 option to build script |
nlffi/
|
5809 |
2 years |
jhr |
add support for -32/-64 option to build script |
osx-dist/
|
5871 |
2 years |
jhr |
update osx-dist/build-pkg.sh to support building 64-bit targets
|
pages/
|
5821 |
2 years |
jhr |
update status of 64-bit port |
papers/
|
3724 |
10 years |
dbm |
minor corrections to main.tex |
pgraph/
|
5657 |
2 years |
jhr |
Release 110.93 |
rpm-dist/
|
3987 |
7 years |
jhr |
make RPM spec file generic w.r.t. SML/NJ version
|
sml/
|
5869 |
2 years |
jhr |
porting changes from num64 branch
|
sml-mode/
|
3723 |
10 years |
monnier |
Merge sml-defs.el into sml-mode.el.
* sml-mode.el: Merge code from sml-defs.el.
... |
smlnj/
|
2945 |
14 years |
blume |
switched svn:externals |
smlnj-c/
|
5661 |
2 years |
jhr |
Release 110.93 |
smlnj-lib/
|
5863 |
2 years |
jhr |
remove excess whitespace |
tests/
|
5000 |
3 years |
jhr |
update reference outputs to reflect changes in error messages.
|
trace-debug-profile/
|
5656 |
2 years |
jhr |
Release 110.93 |