matita.cs.unibo.it Git - helm.git/history - helm/DEVEL/mathml_editor/xsl/tml-mmlp.xsl

]> matita.cs.unibo.it Git - helm.git/history - helm/DEVEL/mathml_editor/xsl/tml-mmlp.xsl

projects / helm.git / history

summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next

[helm.git] / helm / DEVEL / mathml_editor / xsl / tml-mmlp.xsl

2004-02-21	Luca Padovani	* added wrapper element around processed document	blob \| commitdiff \| raw
2003-06-19	Claudio Sacerdoti...	New version 0.0.2:	blob \| commitdiff \| raw \| diff to current
2003-05-23	Luca Padovani	* fix in optional argument for ocaml binding	blob \| commitdiff \| raw \| diff to current
2003-04-28	Claudio Sacerdoti...	The stylesheet used to generate an empty (and not even...	blob \| commitdiff \| raw \| diff to current
2003-03-14	Paolo Marinelli	Added some comments to the source code.	blob \| commitdiff \| raw \| diff to current
2003-03-13	Paolo Marinelli	Added the completion of the macro's name.	blob \| commitdiff \| raw \| diff to current
2003-03-13	Luca Padovani	* licenses updated	blob \| commitdiff \| raw \| diff to current
2003-03-13	Luca Padovani	* added license and copyright to every source file	blob \| commitdiff \| raw \| diff to current
2003-03-12	Luca Padovani	* changed handling of ' (\primes) with a few patches...	blob \| commitdiff \| raw \| diff to current
2003-02-21	Luca Padovani	* the minus sign is now mapped to the right Unicode...	blob \| commitdiff \| raw \| diff to current
2003-02-14	Luca Padovani	* the stylesheet does not generate the tml namespace...	blob \| commitdiff \| raw \| diff to current
2003-02-13	Luca Padovani	* added show/hide cursro methods	blob \| commitdiff \| raw \| diff to current
2003-02-08	Luca Padovani	* this is a large commit	blob \| commitdiff \| raw \| diff to current
2003-01-31	Luca Padovani	* code cleanup	blob \| commitdiff \| raw \| diff to current
2003-01-30	Paolo Marinelli	Now it's possible to insert and delete control sequence...	blob \| commitdiff \| raw \| diff to current
2003-01-27	Paolo Marinelli	Added some controls concerning the graphical deleting.	blob \| commitdiff \| raw \| diff to current
2003-01-21	Paolo Marinelli	A first partial implementation of deleting is introduce...	blob \| commitdiff \| raw \| diff to current
2003-01-09	Luca Padovani	Initial revision	blob \| commitdiff \| raw \| diff to current

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