]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 55e14b1) | patch
- commented out no longer needed macros Redo, Undo, Abort
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 27 May 2005 16:54:05 +0000 (16:54 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 27 May 2005 16:54:05 +0000 (16:54 +0000)
commita256fcff08b4a21c736167910c1ce342cffb0388
treeb06957fff9d1e939d842eac87eaf76b06bd004fbtree | snapshot
parent55e14b104259e41c4b678d35b57f75ce4dcd49c3commit | diff
- commented out no longer needed macros Redo, Undo, Abort
- bugfix: correctly handles "cic:" and "cic:/" pseudo-uris in cicBrowser
- bugfix: fixed String.sub error on directories shorted than 5 chars
helm/matita/matita.ml diff | blob | history
helm/matita/matitaMathView.ml diff | blob | history
helm/matita/matitaScript.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.