]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1bcad78) | patch
New files AUTHORS and LICENSE.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 20 Jul 2005 16:13:24 +0000 (16:13 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 20 Jul 2005 16:13:24 +0000 (16:13 +0000)
commitde4be1b51749200158ffb1984d6da3004b3690a9
tree4a29e2c9cde3b553ea0a86914439ac58f70ec611tree | snapshot
parent1bcad789810fd37d346e690f18557aeedc6fe08ccommit | diff
New files AUTHORS and LICENSE.
New about dialog box (automatically generated according to the Gnome Interface
Guidelines). The dialog box is filled with the informations from AUTHORS and
LICENSE.
helm/matita/AUTHORS [new file with mode: 0644] blob
helm/matita/LICENSE [new file with mode: 0644] blob
helm/matita/matita.glade diff | blob | history
helm/matita/matitaGui.ml diff | blob | history
helm/matita/matitaGui.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.