matita.cs.unibo.it Git - helm.git/history - matitaB/matita/matitadaemon.ml

]> matita.cs.unibo.it Git - helm.git/history - matitaB/matita/matitadaemon.ml

2011-06-01	Wilmer Ricciotti	Matita Web: moved the javascript in a separate file...	blob \| commitdiff \| raw
2011-05-31	Wilmer Ricciotti	Partial implementation of "go to cursor" action.	blob \| commitdiff \| raw \| diff to current
2011-05-30	Wilmer Ricciotti	Partially working table layout of matita web (only...	blob \| commitdiff \| raw \| diff to current
2011-05-26	Wilmer Ricciotti	Improved rendering of sequents in matitaweb, including...	blob \| commitdiff \| raw \| diff to current
2011-05-26	Wilmer Ricciotti	Preliminary version of matitaweb handling multiple...	blob \| commitdiff \| raw \| diff to current
2011-05-24	Wilmer Ricciotti	matitaweb: added retract (undo)	blob \| commitdiff \| raw \| diff to current
2011-05-23	Wilmer Ricciotti	Added support for hyperlinks in the goal view of the...	blob \| commitdiff \| raw \| diff to current
2011-05-19	Wilmer Ricciotti	Added matitadaemon.	blob \| commitdiff \| raw \| diff to current

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