]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 31513dc) | 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)
commita713b1508a5eaa20d1a2051366e3ec6057b7693b
tree0f4d4e62b8f340c5e5d7dec9ecb4b9fcc2f3d488tree | snapshot
parent31513dcd96791a28cb0f7667c7bbdb172b33864ecommit | diff
- fwd concrete syntax fixed
- decompose, fwd, lapply documentation fixed
helm/software/components/grafite/grafiteAstPp.ml diff | blob | history
helm/software/components/grafite_parser/grafiteParser.ml diff | blob | history
helm/software/matita/help/C/sec_tactics.xml diff | blob | history
helm/software/matita/help/C/tactic_quickref.xml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.