]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 055e81c) | patch
Added some rules in the Right Drop section and in the Left Drop one.
authorPaolo Marinelli <paolo.marinelli@unibo.it>
Mon, 31 Mar 2003 17:41:40 +0000 (17:41 +0000)
committerPaolo Marinelli <paolo.marinelli@unibo.it>
Mon, 31 Mar 2003 17:41:40 +0000 (17:41 +0000)
commit10372ee288ae67dcab8b1b04f7c52c65009fd6e9
treeaa51f4044fbe39f8777424ea26ac93541ed2980dtree | snapshot
parent055e81ccd1910f00a291c5f035bf9907ea8f6959commit | diff
Added some rules in the Right Drop section and in the Left Drop one.
helm/DEVEL/mathml_editor/doc/spec.tex diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.