]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c3f8006) | patch
Matitaweb: Fixed a bug which caused matita to forget the baseuri of the current
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Thu, 22 Sep 2011 11:37:36 +0000 (11:37 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Thu, 22 Sep 2011 11:37:36 +0000 (11:37 +0000)
commitb8a57655cd700e4c4513a71fa592eb4b982febf7
treeb3cbe182c160f044a8805b583c01bf67a4c6e501tree | snapshot
parentc3f800643c30f4202164788deda575a40ff2eb8ecommit | diff
Matitaweb: Fixed a bug which caused matita to forget the baseuri of the current
script when retracting to the top.
matitaB/matita/matitadaemon.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.