]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b3f366c) | patch
Preliminary version of matitaweb handling multiple goals in the sequent view.
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Thu, 26 May 2011 11:48:48 +0000 (11:48 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Thu, 26 May 2011 11:48:48 +0000 (11:48 +0000)
commit519eb28019e44a404bf62dbc5ff07ddd39556b17
treebcb28d637771d28aa27a05421873f152522198b7tree | snapshot
parentb3f366c0fa3fcadcf5f21913f71a2bce591e47d0commit | diff
Preliminary version of matitaweb handling multiple goals in the sequent view.
matitaB/matita/matitadaemon.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.