]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/lambda-delta/complete_rg/Make
- we added a parser for lambda-delta textual syntax (file extension .hln)
[helm.git] / helm / software / lambda-delta / complete_rg / Make
index 71e141c30dd10482aa995023dafa5aa97721c02a..33e3388fbabe4ccb55982465f60ffed0193847fa 100644 (file)
@@ -1 +1 @@
-crg crgOutput crgAut crgBrg
+crg crgOutput crgTxt crgAut crgBrg