]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ef9ec8c) | patch
added (linked to matita) executable cicbrowser: when invoked it only shows
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 1 Feb 2005 18:24:28 +0000 (18:24 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 1 Feb 2005 18:24:28 +0000 (18:24 +0000)
commit92b20571ab97c7d662304926c113fc42292b4435
treef86d43fe919e63cda60ce79a522e1bc763e5d1dftree | snapshot
parentef9ec8cb57d15426a96fe40d056eb07804753bb9commit | diff
added (linked to matita) executable cicbrowser: when invoked it only shows
a cicBrowser window which can be used to browse the library
helm/matita/Makefile.in diff | blob | history
helm/matita/matita.glade diff | blob | history
helm/matita/matita.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.