Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Tracker SCM

SCM Repository

[smlnj] Revision 4689
ViewVC logotype

Revision 4689

Jump to revision: Previous Next
Author: jhr
Date: Mon Aug 27 13:48:50 2018 UTC (4 years, 1 month ago)
Log Message:
  Added RENAME as an extension style; some corrections to the documentation.

Changed paths:

Path Details
Directorysml/branches/cm-tool-hacking/cm/Doc/12-moretools.tex modified , text changed
Directorysml/branches/cm-tool-hacking/cm/Doc/defs.tex modified , text changed
Directorysml/branches/cm-tool-hacking/cm/Doc/manual.tex modified , text changed
Directorysml/branches/cm-tool-hacking/cm/tools/main/core-tools.sig modified , text changed
Directorysml/branches/cm-tool-hacking/cm/tools/main/private-tools.sml modified , text changed

ViewVC Help
Powered by ViewVC 1.0.0