]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6f2724b) | patch
Syntactic change:
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 7 Nov 2005 13:47:46 +0000 (13:47 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 7 Nov 2005 13:47:46 +0000 (13:47 +0000)
commit5ec963822874008c725ec11968ce453e80f252e2
tree6086baeb4f50b41f5aa6d2142c44a75808854ac0tree | snapshot
parent6f2724b64f78339cc7b652e9514813c1705605b0commit | diff
Syntactic change:
 [ ... ] match t in t with ==> match t in t return ... with
helm/ocaml/cic_notation/cicNotationLexer.ml diff | blob | history
helm/ocaml/cic_notation/cicNotationParser.ml diff | blob | history
helm/ocaml/cic_notation/cicNotationRew.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.