]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0593f47) | patch
Added some examples of Right Drop.
authorPaolo Marinelli <paolo.marinelli@unibo.it>
Mon, 31 Mar 2003 16:00:33 +0000 (16:00 +0000)
committerPaolo Marinelli <paolo.marinelli@unibo.it>
Mon, 31 Mar 2003 16:00:33 +0000 (16:00 +0000)
commit055e81ccd1910f00a291c5f035bf9907ea8f6959
treebdd478fe2035c379259c8a5c92f3ee01d033a0b3tree | snapshot
parent0593f47412b947a4af005b2ccec2eb13dd8dee90commit | diff
Added some examples of Right Drop.
helm/DEVEL/mathml_editor/doc/spec.tex diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.