]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6120c5b) | patch
Matitaweb: opening a file resets the status.
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Tue, 3 Jul 2012 12:58:35 +0000 (12:58 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Tue, 3 Jul 2012 12:58:35 +0000 (12:58 +0000)
commit71204a8e8d1084c94adfbcf9264f71ab85f3621e
tree6f9892d66275476d512298bd3d6498cb7f5e7b35tree | snapshot
parent6120c5ba6c24eeeb2f932ba7e247a751c4216134commit | diff
Matitaweb: opening a file resets the status.
matitaB/matita/matitadaemon.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.