matita.cs.unibo.it Git - helm.git/history - helm/DEVEL/mathml

]> matita.cs.unibo.it Git - helm.git/history - helm/DEVEL/mathml_editor/doc/spec.tex

2003-03-30	Luca Padovani	* added introduction + structure for next sections	blob \| commitdiff \| raw
2003-03-30	Paolo Marinelli	Added some rules to handle the generalized normal left...	blob \| commitdiff \| raw \| diff to current
2003-03-30	Paolo Marinelli	Added a rule in the epsilon-rules section (paragraph...	blob \| commitdiff \| raw \| diff to current
2003-03-29	Paolo Marinelli	Removed many rules in the "Left Drop" section. Every...	blob \| commitdiff \| raw \| diff to current
2003-03-28	Paolo Marinelli	Added some rules in the "Left Drop" section.	blob \| commitdiff \| raw \| diff to current
2003-03-27	Paolo Marinelli	Added some rules in the "Left Drop" section.	blob \| commitdiff \| raw \| diff to current
2003-03-26	Paolo Marinelli	Added some other rules in the "Left Drop" section.	blob \| commitdiff \| raw \| diff to current
2003-03-26	Paolo Marinelli	added an example of a long fxgrep expression	blob \| commitdiff \| raw \| diff to current
2003-03-25	Paolo Marinelli	Added some rules in the Left Drop section	blob \| commitdiff \| raw \| diff to current
2003-03-24	Luca Padovani	* first draft of the formal specification	blob \| commitdiff \| raw \| diff to current

Unnamed repository; edit this file 'description' to name the repository.