]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 468da7a) | patch
- provastruct.theory.xml removed (what was that exactly?)
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 30 Mar 2004 16:36:09 +0000 (16:36 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 30 Mar 2004 16:36:09 +0000 (16:36 +0000)
commitf9f0f9bf24a279f3683ca64ce155b165d912ff67
tree48fa5e7d5ab23d7e77d15ca096de1364b4564bc1tree | snapshot
parent468da7af4b52d01451073ff1cca5aa1949b9657fcommit | diff
- provastruct.theory.xml removed (what was that exactly?)
- @name of SECTION renamed to @uri
helm/dtd/provastruct.theory.xml [deleted file] blob | history
helm/dtd/theoryobject.dtd diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.