]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6b3bf78) | patch
Modified Files:
authorIrene Schena <irene.schena@unibo.it>
Mon, 19 Mar 2001 12:47:45 +0000 (12:47 +0000)
committerIrene Schena <irene.schena@unibo.it>
Mon, 19 Mar 2001 12:47:45 +0000 (12:47 +0000)
commit461ed7af5b5a332fdee38f85e9b744fd79dc3889
tree01de01ac82a04b03c3d014404196267b38a1ca02tree | snapshot
parent6b3bf7885c6e9e5faee65dd18cdc428f0d1d383bcommit | diff
Modified Files:
1) theory_pres.xsl: syntax error
helm/style/theory_pres.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.