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

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

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.