]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/lambda-delta/text/Make
- we added some syntactic sugar in the text parser
[helm.git] / helm / software / lambda-delta / text / Make
index bb0980c0fbe4941d2c1bcc7a09b2443986920a9f..f1c0ffe26c20b6f85814375669b6229edb89c5d7 100644 (file)
@@ -1 +1 @@
-txt txtParser txtLexer
+txt txtParser txtLexer txtTxt