]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 71af11a) | patch
* added introduction + structure for next sections
authorLuca Padovani <luca.padovani@unito.it>
Sun, 30 Mar 2003 11:10:41 +0000 (11:10 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Sun, 30 Mar 2003 11:10:41 +0000 (11:10 +0000)
commitd861d72d1e53f4f3252c91ed14615fdbf5686301
tree3559a821e955d7399dc69e64955c90efaf8ac5fatree | snapshot
parent71af11a88d843472a7b33ed7365ad373c415659fcommit | diff
* added introduction + structure for next sections
helm/DEVEL/mathml_editor/doc/spec.tex diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.