]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 54632bf) | patch
- fwd concrete syntax fixed
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 20 Jun 2006 17:59:04 +0000 (17:59 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 20 Jun 2006 17:59:04 +0000 (17:59 +0000)
commita094832a413d3d11cd4031b01a5119452384a7ac
tree41f9d7b8e8c4f2278b59cc10d6f76cd3c29cbbbdtree | snapshot
parent54632bfcefb8f9cf2265b27196207b2786e84927commit | diff
- fwd concrete syntax fixed
- decompose, fwd, lapply documentation fixed
components/grafite/grafiteAstPp.ml diff | blob | history
components/grafite_parser/grafiteParser.ml diff | blob | history
matita/help/C/sec_tactics.xml diff | blob | history
matita/help/C/tactic_quickref.xml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.