]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8b6b60b) | patch
cfg_to_obj completed (modulo daemons)
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Mon, 21 Jan 2013 11:06:23 +0000 (11:06 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Mon, 21 Jan 2013 11:06:23 +0000 (11:06 +0000)
commit53273ac4ac4e742f8767fc1f9ef0f279c0b80a1d
tree71403121a562999aee9a7a3cd30bcfa843f75c2dtree | snapshot
parent8b6b60b1fb72de9b4686896698665b87bd6be959commit | diff
cfg_to_obj completed (modulo daemons)
matita/matita/lib/turing/multi_universal/unistep_aux.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.