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

]> matita.cs.unibo.it Git - helm.git/history - helm/DEVEL/mathml_editor/src/TPushParser.cc

[helm.git] / helm / DEVEL / mathml_editor / src / TPushParser.cc

2003-06-25	Stefano Zacchiroli	added tons of #include <cassert> to make latest gcc...	blob \| commitdiff \| raw
2003-06-19	Claudio Sacerdoti...	New version 0.0.2:	blob \| commitdiff \| raw \| diff to current
2003-04-28	Claudio Sacerdoti...	The reset() method ignored the fact that the widget...	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-24	Paolo Marinelli	Added the special deletion. Pressing backspace, the...	blob \| commitdiff \| raw \| diff to current
2003-02-21	Luca Padovani	* removed debug message	blob \| commitdiff \| raw \| diff to current
2003-02-13	Luca Padovani	* added show/hide cursro methods	blob \| commitdiff \| raw \| diff to current
2003-02-12	Paolo Marinelli	Bug fixed. In the previous version, all right open...	blob \| commitdiff \| raw \| diff to current
2003-02-08	Luca Padovani	* this is a large commit	blob \| commitdiff \| raw \| diff to current
2003-02-06	Paolo Marinelli	Added some controls to handle the case in which the...	blob \| commitdiff \| raw \| diff to current
2003-02-04	Paolo Marinelli	Added some controls for the graphical deleting of apost...	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	Paolo Marinelli	* code cleanup	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.

RSS Atom