]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9a945fb) | patch
Removed many rules in the "Left Drop" section. Every epsilon-rule in the
authorPaolo Marinelli <paolo.marinelli@unibo.it>
Sat, 29 Mar 2003 20:43:35 +0000 (20:43 +0000)
committerPaolo Marinelli <paolo.marinelli@unibo.it>
Sat, 29 Mar 2003 20:43:35 +0000 (20:43 +0000)
commit28edc4349551681f63c8491eb09b163b5dedd875
tree2cf418bd87a45f9b05b72d68534a4e69d749f9a9tree | snapshot
parent9a945fbcad6168b7872d16a65860a07d936c2f10commit | diff
Removed many rules in the "Left Drop" section. Every epsilon-rule in the
normal left drop paragraph has been changed.
helm/DEVEL/mathml_editor/doc/spec.tex diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.