kpriv/pkgsrc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
96031 commits 166 branches 0 tags 1.5 GiB
Commit graph

2 commits

Author SHA1 Message Date
wiz
452db34115 Update to 110.42, from Christopher Richards in connection with PR 18678. 
Changes:
A number of small, but important bug fixes.
 2003-03-21 22:54:38 +00:00
wiz
a0bce01167 Reimport sml-nj as smlnj, which is the name commonly used by the community. 
Suggested by Christopher Richards in connection with PR 18678.
 2003-03-21 22:20:55 +00:00