diff src/sources @ 1493:9cb923efea4d

Generated pretty-printed HTML for a simple tutorial source file
author Adam Chlipala <adam@chlipala.net>
date Fri, 15 Jul 2011 16:50:55 -0400
parents 3b22c3c67f35
children 1c9f8f06c1d6
line wrap: on
line diff
--- a/src/sources	Fri Jul 15 10:17:15 2011 -0400
+++ b/src/sources	Fri Jul 15 16:50:55 2011 -0400
@@ -28,6 +28,9 @@
 fastcgi.sig
 fastcgi.sml
 
+static.sig
+static.sml
+
 mysql.sig
 mysql.sml
 
@@ -209,3 +212,6 @@
 
 demo.sig
 demo.sml
+
+tutorial.sig
+tutorial.sml