]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f919cce) | patch
Non-linear patterns are now allowed in notations.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 25 Aug 2008 13:14:54 +0000 (13:14 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 25 Aug 2008 13:14:54 +0000 (13:14 +0000)
commita46b2e95dd4b2496956c45e9895602a74e92fd3b
tree552d2fe139f09642b9dcacdffda380b1682a870btree | snapshot
parentf919cce8d299eab1dda92af4c5b53a8a7ac348afcommit | diff
Non-linear patterns are now allowed in notations.
helm/software/components/acic_content/acic2astMatcher.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.