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

[helm.git] / helm / DEVEL / mathml_editor / doc / spec.tex

2003-05-23	Luca Padovani	* fix in optional argument for ocaml binding	blob \| commitdiff \| raw
2003-04-06	Luca Padovani	* new semantics with 2 continuations	blob \| commitdiff \| raw \| diff to current
2003-04-06	Luca Padovani	* version with single continuation	blob \| commitdiff \| raw \| diff to current
2003-04-05	Luca Padovani	* set-based + functional semantics	blob \| commitdiff \| raw \| diff to current
2003-04-04	Luca Padovani	* the documents passed to the ocaml binding have been...	blob \| commitdiff \| raw \| diff to current
2003-04-03	Luca Padovani	* major update in regular context language definition...	blob \| commitdiff \| raw \| diff to current
2003-04-01	Paolo Marinelli	Corrected a wrong epsilon-rule in the Special Left...	blob \| commitdiff \| raw \| diff to current
2003-03-31	Paolo Marinelli	Added some rules in the Right Drop section and in the...	blob \| commitdiff \| raw \| diff to current
2003-03-31	Paolo Marinelli	Added some examples of Right Drop.	blob \| commitdiff \| raw \| diff to current
2003-03-31	Paolo Marinelli	Removed some obsolete commands.	blob \| commitdiff \| raw \| diff to current
2003-03-31	Paolo Marinelli	Added epsilon-rules concerning the left drop.	blob \| commitdiff \| raw \| diff to current
2003-03-30	Luca Padovani	* added introduction + structure for next sections	blob \| commitdiff \| raw \| diff to current
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.

RSS Atom