]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8ca065f) | patch
Fixes a bug that caused an assertion failure when no notation was defined.
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Tue, 9 Apr 2013 13:41:15 +0000 (13:41 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Tue, 9 Apr 2013 13:41:15 +0000 (13:41 +0000)
commite4065c7fa5b8392d3b2da7ff6ffae212fd9d5f38
treed1f5b5e5da0c8a8c293b7534090730807339c680tree | snapshot
parent8ca065f520dec7152df8e094028119515810b434commit | diff
Fixes a bug that caused an assertion failure when no notation was defined.
matita/components/content_pres/termContentPres.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.