]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 61439c5) | patch
* first draft of the formal specification
authorLuca Padovani <luca.padovani@unito.it>
Mon, 24 Mar 2003 15:18:22 +0000 (15:18 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Mon, 24 Mar 2003 15:18:22 +0000 (15:18 +0000)
commit06340d0a6a60e9bade273a93847f1de0b3079a3c
tree3ebfc1fccecf19324fbad0bc755f9682b02236batree | snapshot
parent61439c5faa2925517b208761c3861880ccabe945commit | diff
* first draft of the formal specification
helm/DEVEL/mathml_editor/Makefile.am diff | blob | history
helm/DEVEL/mathml_editor/doc/.cvsignore [new file with mode: 0644] blob
helm/DEVEL/mathml_editor/doc/spec.tex [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.