]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d4b31ea) | patch
cicNotationUtil: in fresh_name_generator, "\eta" replaced with "eta", which is an...
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 28 Apr 2009 19:30:21 +0000 (19:30 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 28 Apr 2009 19:30:21 +0000 (19:30 +0000)
commitf524a0d716de2bdc0874aace8f82f6289034eccf
tree71d6cda63ac3bf1689f8d8dcdd22eea5ee111bd2tree | snapshot
parentd4b31ea5ca7c7dd3344cb284a89fac22312834cfcommit | diff
cicNotationUtil: in fresh_name_generator, "\eta" replaced with "eta", which is an identifier
cicNotationPp: debug mode turned off
logic/cprop_connectives.ma: duplicate lines removed
matitaScript: missing "\n\n" added in front of inline output
core_notation.moo: the "default" notation directive has a bug. Commented out.
helm/software/components/acic_content/cicNotationPp.ml diff | blob | history
helm/software/components/acic_content/cicNotationUtil.ml diff | blob | history
helm/software/matita/core_notation.moo diff | blob | history
helm/software/matita/library/logic/cprop_connectives.ma diff | blob | history
helm/software/matita/matitaScript.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.