]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3fbc7a2) | patch
commented out no longer needed macros Redo, Undo, Abort
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 27 May 2005 16:52:40 +0000 (16:52 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 27 May 2005 16:52:40 +0000 (16:52 +0000)
commit2c267ae520c0dfd496b6999af2bf0a390b996aaf
tree8540429ffe46cd825a11f745b4e1482156205e25tree | snapshot
parent3fbc7a2d1418ace187475939647553ce2b7721f6commit | diff
commented out no longer needed macros Redo, Undo, Abort
helm/ocaml/cic_disambiguation/cicTextualParser2.ml diff | blob | history
helm/ocaml/cic_transformations/tacticAst.ml diff | blob | history
helm/ocaml/cic_transformations/tacticAstPp.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.