]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d02c402) | patch
* major update in regular context language definition and semantics
authorLuca Padovani <luca.padovani@unito.it>
Thu, 3 Apr 2003 21:52:52 +0000 (21:52 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Thu, 3 Apr 2003 21:52:52 +0000 (21:52 +0000)
commitced0086b4bb5b10e6c4a8268ea781624a41394dd
tree19997706097a62f73eca2d712f5ed21a608241d5tree | snapshot
parentd02c4020feb3e52844572c8ca49c3dc80983d09ccommit | diff
* major update in regular context language definition and semantics
helm/DEVEL/mathml_editor/doc/spec.tex diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.