]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1bb40b4) | patch
Added some rules in the Left Drop section
authorPaolo Marinelli <paolo.marinelli@unibo.it>
Tue, 25 Mar 2003 16:22:38 +0000 (16:22 +0000)
committerPaolo Marinelli <paolo.marinelli@unibo.it>
Tue, 25 Mar 2003 16:22:38 +0000 (16:22 +0000)
commit6f360b2b433be33c7d3ff92b161546e17376410b
tree5a7bade65acbae40d5818867f4f790fb6fd55cd8tree | snapshot
parent1bb40b4d209ecfa055fd598701f2fe443857fabacommit | diff
Added some rules in the Left Drop section
helm/DEVEL/mathml_editor/doc/spec.tex diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.