]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 05669a3) | patch
virtuals for () removed and bound to 'o'
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 8 Jan 2009 09:47:46 +0000 (09:47 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 8 Jan 2009 09:47:46 +0000 (09:47 +0000)
commit1d630b67ec62ad84753f04ba33a7dce3dfdbcdf6
tree11ec634eb45354cf8072a67d5133e02c5f473c6etree | snapshot
parent05669a3646cbf8219bf772718b4b2c5bfd1ddd82commit | diff
virtuals for () removed and bound to 'o'
memory changed, used similar symbols are presented first but not altering their original order
helm/software/matita/matitaGui.ml diff | blob | history
helm/software/matita/predefined_virtuals.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.