]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a935559) | patch
matitaweb: added retract (undo)
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Tue, 24 May 2011 13:24:53 +0000 (13:24 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Tue, 24 May 2011 13:24:53 +0000 (13:24 +0000)
commitafa25e79733be21321ac11e558c0291725cbd95a
treedf11c3c77ddcf52d0799b9ea64d8699a427686eetree | snapshot
parenta9355590f890b133763a1593fa706c0631e2c241commit | diff
matitaweb: added retract (undo)
matitaB/components/content_pres/boxPp.ml diff | blob | history
matitaB/components/content_pres/cicNotationPres.ml diff | blob | history
matitaB/matita/Makefile diff | blob | history
matitaB/matita/matitadaemon.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.