Parent Directory
|
|
|
|
|
svn-upgrade-all.sh
|
4338 |
5 years |
jhr |
Added asdl to the list of directories in a development tree for SML/NJ. This ... |
build-tar-files.sh
|
4718 |
3 years |
jhr |
add asdl to build-tar-files.sh
|
checkout-all.sh
|
6683 |
22 months |
jhr |
added --force command-line option
|
stat-all.sh
|
4466 |
4 years |
jhr |
revised the stat-all.sh script to take an optional "-q" option.
Removed the ... |
README.md
|
4783 |
3 years |
jhr |
add README for admin directory |
refresh-all.sh
|
5009 |
3 years |
jhr |
add dev-notes to list of updates |
prepare-release.sh
|
6227 |
2 years |
jhr |
added missing size option to allcross |
zip-bin-lib.sh
|
2682 |
15 years |
blume |
added script for creating win32 zip archive |
make-release.sh
|
4742 |
3 years |
jhr |
asdl does not get tagged release |
cvs2svn-smlnj.options
|
2087 |
15 years |
blume |
checked in the cvs2svn script that was used to convert the repository |
freeze-as.sh
|
2922 |
14 years |
blume |
fixed bug in checkout-all script |
switch-all-svn-https.sh
|
2940 |
14 years |
blume |
sync |