]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d43194a) | patch
* Bug fixed: "tac." was parsed as Seq [tac]
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 6 Jul 2005 12:01:48 +0000 (12:01 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 6 Jul 2005 12:01:48 +0000 (12:01 +0000)
commit0d254219f4870d603ab3ecf5b0013a9a81e14314
tree08814343f431dd85b5b057fd0fe43c1b73f55e63tree | snapshot
parentd43194ae7fed02d5454e329c3b1de3e5c667068bcommit | diff
* Bug fixed: "tac." was parsed as Seq [tac]
* Pretty printing of Seq and other tacticals was utterly wrong.
helm/ocaml/cic_disambiguation/cicTextualParser2.ml diff | blob | history
helm/ocaml/cic_transformations/tacticAstPp.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.