]> matita.cs.unibo.it Git - helm.git/history - helm/DEVEL/mathml_editor/doc
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
reorganized metas so that pxp is references only through helm-pxp
[helm.git] / helm / DEVEL / mathml_editor / doc /
2003-05-23 Luca Padovani* fix in optional argument for ocaml binding tree | commitdiff
2003-04-06 Luca Padovani* new semantics with 2 continuations tree | commitdiff
2003-04-06 Luca Padovani* version with single continuation tree | commitdiff
2003-04-05 Luca Padovani* set-based + functional semantics tree | commitdiff
2003-04-04 Luca Padovani* the documents passed to the ocaml binding have been... tree | commitdiff
2003-04-03 Luca Padovani* major update in regular context language definition... tree | commitdiff
2003-04-01 Paolo MarinelliCorrected a wrong epsilon-rule in the Special Left... tree | commitdiff
2003-03-31 Paolo MarinelliAdded some rules in the Right Drop section and in the... tree | commitdiff
2003-03-31 Paolo MarinelliAdded some examples of Right Drop. tree | commitdiff
2003-03-31 Paolo MarinelliRemoved some obsolete commands. tree | commitdiff
2003-03-31 Paolo MarinelliAdded epsilon-rules concerning the left drop. tree | commitdiff
2003-03-30 Luca Padovani* added introduction + structure for next sections tree | commitdiff
2003-03-30 Paolo MarinelliAdded some rules to handle the generalized normal left... tree | commitdiff
2003-03-30 Paolo MarinelliAdded a rule in the epsilon-rules section (paragraph... tree | commitdiff
2003-03-29 Paolo MarinelliRemoved many rules in the "Left Drop" section. Every... tree | commitdiff
2003-03-28 Paolo MarinelliAdded some rules in the "Left Drop" section. tree | commitdiff
2003-03-27 Paolo MarinelliAdded some rules in the "Left Drop" section. tree | commitdiff
2003-03-26 Paolo MarinelliAdded some other rules in the "Left Drop" section. tree | commitdiff
2003-03-26 Paolo Marinelliadded an example of a long fxgrep expression tree | commitdiff
2003-03-25 Paolo MarinelliAdded some rules in the Left Drop section tree | commitdiff
2003-03-24 Luca Padovani* first draft of the formal specification tree | commitdiff
Unnamed repository; edit this file 'description' to name the repository.