]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 603f2f6) | patch
- pipeline support for generated entities in text mode completed
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 25 Feb 2010 19:42:00 +0000 (19:42 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 25 Feb 2010 19:42:00 +0000 (19:42 +0000)
commitadb0fc58f7de5c1741cf18bed8a2251e8313f103
tree8741d450a24f3470fad46db459c54c609071ad20tree | snapshot
parent603f2f6b596d8632b9bd53c73ae0b9c3575231e0commit | diff
- pipeline support for generated entities in text mode completed
helm/software/lambda-delta/complete_rg/crgTxt.ml diff | blob | history
helm/software/lambda-delta/complete_rg/crgTxt.mli diff | blob | history
helm/software/lambda-delta/toplevel/top.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.