]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/lambda-delta/common/Make
txtLexer: bug fix in parsing the string tokens
[helm.git] / helm / software / lambda-delta / common / Make
index 1ec685637a2dc0d137f523002dda07fdc707e9d8..de13dd4c9476c0c5d1f6bf67f86529a5e024443b 100644 (file)
@@ -1 +1 @@
-options hierarchy output entity library
+options hierarchy output entity marks alpha library