]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3a9c3c1) | patch
removed daemons
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Mon, 21 Jan 2013 15:53:26 +0000 (15:53 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Mon, 21 Jan 2013 15:53:26 +0000 (15:53 +0000)
commitbe80aa40b9a66d5b12f92d03c2aa7b1dd8e49893
tree0ca532d7e42ebd90b17c684facdc070cafd283a9tree | snapshot
parent3a9c3c16e7c7e3a35640a0afa53f044a4f87ed65commit | diff
removed daemons
matita/matita/lib/turing/multi_universal/unistep_aux.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.