]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3e4cd0c) | patch
* version with single continuation
authorLuca Padovani <luca.padovani@unito.it>
Sun, 6 Apr 2003 07:47:41 +0000 (07:47 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Sun, 6 Apr 2003 07:47:41 +0000 (07:47 +0000)
commit7bbc3826e7478e46a0802334cd1befa7d65e60db
treeb49315718218eb3b44b6f738c110a4cde4e040b3tree | snapshot
parent3e4cd0c8f1cd759faa56060770e1686009e9a552commit | diff
* version with single continuation
helm/DEVEL/mathml_editor/doc/spec.tex diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.