Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

Pushing new sources for smlcgi and smlpeg. Vowing to stop naming thin…

…gs sml___.
  • Loading branch information...
commit fc74ff56b282b08eaf9054d6162b1e8134356510 1 parent 9f10079
@gian gian authored
Showing with 2 additions and 0 deletions.
  1. +2 −0  sources
View
2  sources
@@ -9,6 +9,8 @@ parcom git git://github.com/standardml/parcom.git
preml git git://github.com/mortenbp/PreML.git
qcheck git git://github.com/standardml/qcheck.git
smackage git git://github.com/standardml/smackage.git
+smlcgi git git://github.com/standardml/smlcgi.git
+smlpeg git git://github.com/standardml/SMLPEG.git
sml-json git git://github.com/standardml/SML-JSON.git
tom7-lib git git://github.com/robsimmons/sml-lib.git
twelf git git://github.com/standardml/twelf.git
Please sign in to comment.
Something went wrong with that request. Please try again.