matita.cs.unibo.it Git - helm.git/search

]> matita.cs.unibo.it Git - helm.git/search

2003-03-30	Paolo Marinelli	Added a rule in the epsilon-rules section (paragraph...	commit \| commitdiff \| tree
2003-03-29	Paolo Marinelli	Removed many rules in the "Left Drop" section. Every...	commit \| commitdiff \| tree
2003-03-28	Paolo Marinelli	Added some rules in the "Left Drop" section.	commit \| commitdiff \| tree
2003-03-27	Paolo Marinelli	Added some rules in the "Left Drop" section.	commit \| commitdiff \| tree
2003-03-26	Paolo Marinelli	Added some other rules in the "Left Drop" section.	commit \| commitdiff \| tree
2003-03-26	Paolo Marinelli	added an example of a long fxgrep expression	commit \| commitdiff \| tree
2003-03-25	Paolo Marinelli	Added some rules in the Left Drop section	commit \| commitdiff \| tree
2003-03-14	Paolo Marinelli	Added some comments to the source code.	commit \| commitdiff \| tree
2003-03-13	Paolo Marinelli	Added the completion of the macro's name.	commit \| commitdiff \| tree
2003-03-13	Paolo Marinelli	This xslt transforms the TML tree in TeX using a particular...	commit \| commitdiff \| tree
2003-02-24	Paolo Marinelli	Added the special deletion. Pressing backspace, the...	commit \| commitdiff \| tree
2003-02-12	Paolo Marinelli	Bug fixed. In the previous version, all right open...	commit \| commitdiff \| tree
2003-02-06	Paolo Marinelli	Added some controls to handle the case in which the...	commit \| commitdiff \| tree
2003-02-04	Paolo Marinelli	Added some controls for the graphical deleting of apostrophe.	commit \| commitdiff \| tree
2003-01-30	Paolo Marinelli	Now it's possible to insert and delete control sequence...	commit \| commitdiff \| tree
2003-01-27	Paolo Marinelli	Added some controls concerning the graphical deleting.	commit \| commitdiff \| tree
2003-01-21	Paolo Marinelli	A first partial implementation of deleting is introduced...	commit \| commitdiff \| tree
2003-01-09	Paolo Marinelli	* code cleanup	commit \| commitdiff \| tree

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

RSS Atom