]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f19fdee) | patch
sequent_viewer.xml & co are now generated in /tmp if necessary!
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 3 Oct 2006 11:33:14 +0000 (11:33 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 3 Oct 2006 11:33:14 +0000 (11:33 +0000)
commit2066e0e9fcd678b61fcf7911ea3976344d5a85ab
treee5e966a16ff0f640b4ff274fea161076556983e8tree | snapshot
parentf19fdee520706b75f62c88ec5ce3afc2f1f3aaa2commit | diff
sequent_viewer.xml & co are now generated in /tmp if necessary!
matita/matitaMathView.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.