Next | Query returned 72 messages, browsing 71 to 80 | previous

History of commit frequency

CVS Commit History:


   2003-03-21 23:54:43 by Thomas Klausner | Files touched by this commit (11)
Log message:
Update to 110.42, from Christopher Richards in connection with PR 18678.
Changes:
A number of small, but important bug fixes.
   2003-03-21 23:20:56 by Thomas Klausner | Files touched by this commit (10) | Imported package
Log message:
Reimport sml-nj as smlnj, which is the name commonly used by the community.
Suggested by Christopher Richards in connection with PR 18678.

Next | Query returned 72 messages, browsing 71 to 80 | previous