]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9983d0f) | patch
- fix in intro parsing
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 10 Feb 2005 15:54:00 +0000 (15:54 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 10 Feb 2005 15:54:00 +0000 (15:54 +0000)
commit4c72514fddee0ca37b41f676a9beeacf4e2938ea
tree988191a79d1fc22fe3e9c2e111886437aa64d304tree | snapshot
parent9983d0f08f594ddc01700c972d2a2c0f47d32d59commit | diff
- fix in intro parsing
- avoid generating seq tactical for a 1-length sequences
helm/ocaml/cic_disambiguation/cicTextualParser2.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.