]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1ba40bb) | patch
Getting close to the final result.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 11 Jul 2007 17:10:26 +0000 (17:10 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 11 Jul 2007 17:10:26 +0000 (17:10 +0000)
commit11c50230046ab06ad542aa2f441d7525edbb678d
tree8acac33f9defac73f5a6ff7560362ea1e18678cbtree | snapshot
parent1ba40bb933a52a28215474dae0c744914dcb95bfcommit | diff
Getting close to the final result.
The showstopper now is the GtkMathView/Pango bug!
Moreover, unification has become mostly useless (and rewriting with it).
matita/library/assembly/assembly.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.