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

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

2003-12-17	Claudio Sacerdoti...	* comments improved an possible code weakness (i.e...	commit \| commitdiff \| tree \| snapshot
2003-12-17	Claudio Sacerdoti...	* Reindentation	commit \| commitdiff \| tree \| snapshot
2003-12-17	Claudio Sacerdoti...	* Reindentation.	commit \| commitdiff \| tree \| snapshot
2003-12-16	Stefano Zacchiroli	- ported to new output_html Disambiguate callback	commit \| commitdiff \| tree \| snapshot
2003-12-16	Stefano Zacchiroli	s/netclient/http/ in dependencies	commit \| commitdiff \| tree \| snapshot
2003-12-16	Stefano Zacchiroli	cosmetic changes	commit \| commitdiff \| tree \| snapshot
2003-12-16	Stefano Zacchiroli	use ocaml-http instead of netclient for http GET requests	commit \| commitdiff \| tree \| snapshot
2003-12-16	Stefano Zacchiroli	- use ocaml-http instead of netclient for http GET...	commit \| commitdiff \| tree \| snapshot
2003-12-16	Stefano Zacchiroli	removed old perl versions of graph daemons	commit \| commitdiff \| tree \| snapshot
2003-12-16	Stefano Zacchiroli	use new METAS/* names	commit \| commitdiff \| tree \| snapshot
2003-12-16	Stefano Zacchiroli	removed ancient "interface" dir	commit \| commitdiff \| tree \| snapshot
2003-12-16	Stefano Zacchiroli	removed ancient lablgtk, lablgtk_gtkmathview	commit \| commitdiff \| tree \| snapshot
2003-12-16	Stefano Zacchiroli	removed ancient mlminidom	commit \| commitdiff \| tree \| snapshot
2003-12-16	Stefano Zacchiroli	removed ancient pxp dir	commit \| commitdiff \| tree \| snapshot
2003-12-16	Stefano Zacchiroli	removed useless ocamlfind query of the netclient package	commit \| commitdiff \| tree \| snapshot
2003-12-16	Stefano Zacchiroli	removed useless "-package netclient" from one of the...	commit \| commitdiff \| tree \| snapshot
2003-12-16	Stefano Zacchiroli	bumped version to 0.0.9	commit \| commitdiff \| tree \| snapshot
2003-12-16	Stefano Zacchiroli	fixed typo in ocamldoc comment	commit \| commitdiff \| tree \| snapshot
2003-12-16	Stefano Zacchiroli	removed dependency on netclient, use http_client module...	commit \| commitdiff \| tree \| snapshot
2003-12-16	Stefano Zacchiroli	added parse_response_fst_line	commit \| commitdiff \| tree \| snapshot
2003-12-16	Stefano Zacchiroli	- return (or iter on) just http response's body	commit \| commitdiff \| tree \| snapshot
2003-12-16	Stefano Zacchiroli	added Malformed_response exception	commit \| commitdiff \| tree \| snapshot
2003-12-16	Stefano Zacchiroli	added http_client module	commit \| commitdiff \| tree \| snapshot
2003-12-16	Stefano Zacchiroli	rebuilt	commit \| commitdiff \| tree \| snapshot
2003-12-16	Stefano Zacchiroli	ported to ocaml 3.07	commit \| commitdiff \| tree \| snapshot
2003-12-16	Stefano Zacchiroli	renamed META.src to meta.src so that ocamlfind list...	commit \| commitdiff \| tree \| snapshot
2003-12-16	Stefano Zacchiroli	- fixed logging in log window so that spurious html...	commit \| commitdiff \| tree \| snapshot
2003-12-16	Stefano Zacchiroli	renamed module "logger" to "cicLogger" to avoid confusi...	commit \| commitdiff \| tree \| snapshot
2003-12-16	Stefano Zacchiroli	sample script.sh which read META files from ocaml/METAS	commit \| commitdiff \| tree \| snapshot
2003-12-16	Stefano Zacchiroli	moved META files in METAS/ dir	commit \| commitdiff \| tree \| snapshot
2003-12-16	Stefano Zacchiroli	added support for cic_textual_parser2 module	commit \| commitdiff \| tree \| snapshot
2003-12-15	Stefano Zacchiroli	new experimental cic textual parser: checkin	commit \| commitdiff \| tree \| snapshot
2003-12-10	Stefano Zacchiroli	close RC bug regarding rebuilding with newer gthmathview	commit \| commitdiff \| tree \| snapshot
2003-12-08	Ferruccio Guidi	mathql documentation for version 4	commit \| commitdiff \| tree \| snapshot
2003-12-04	Stefano Zacchiroli	debian version 0.0.4-3	commit \| commitdiff \| tree \| snapshot
2003-12-04	Stefano Zacchiroli	added -thread option where needed to make new findlib...	commit \| commitdiff \| tree \| snapshot
2003-12-04	Stefano Zacchiroli	ignore environments	commit \| commitdiff \| tree \| snapshot
2003-12-03	Stefano Zacchiroli	esplicitely add -thread parameter to all compiler invoc...	commit \| commitdiff \| tree \| snapshot
2003-12-03	Stefano Zacchiroli	use a list of getter maps	commit \| commitdiff \| tree \| snapshot
2003-12-03	Stefano Zacchiroli	rebuilt	commit \| commitdiff \| tree \| snapshot
2003-12-02	Ferruccio Guidi	sort CProp added	commit \| commitdiff \| tree \| snapshot
2003-11-20	Claudio Sacerdoti...	The tmp is now cleared from the http___* files.	commit \| commitdiff \| tree \| snapshot
2003-11-13	Ferruccio Guidi	updated	commit \| commitdiff \| tree \| snapshot
2003-11-07	Luca Padovani	* debugging messages and dumpes commented out	commit \| commitdiff \| tree \| snapshot
2003-11-07	Claudio Sacerdoti...	Porting to lablgtk2 completed.	commit \| commitdiff \| tree \| snapshot
2003-11-07	Claudio Sacerdoti...	The hbugs client interface is almost working again.	commit \| commitdiff \| tree \| snapshot
2003-11-06	Claudio Sacerdoti...	HBugs compile again (but it does not do anything right...	commit \| commitdiff \| tree \| snapshot
2003-11-06	Claudio Sacerdoti...	First release that compiles under lablgtk2 (but it...	commit \| commitdiff \| tree \| snapshot
2003-11-05	Ferruccio Guidi	updated to version 4	commit \| commitdiff \| tree \| snapshot
2003-11-05	Ferruccio Guidi	updated to version 1.4	commit \| commitdiff \| tree \| snapshot
2003-11-04	Luca Padovani	* first upgrade to the new error logging mechanism	commit \| commitdiff \| tree \| snapshot
2003-11-03	Claudio Sacerdoti...	* empty log message *	commit \| commitdiff \| tree \| snapshot
2003-10-29	Ferruccio Guidi	some interfaces changed to prepare the mathql code...	commit \| commitdiff \| tree \| snapshot
2003-10-29	Luca Padovani	* removed dependency from liblablgtk-ocaml{,-dev}	commit \| commitdiff \| tree \| snapshot
2003-10-29	Luca Padovani	* added profiling options	commit \| commitdiff \| tree \| snapshot
2003-10-29	Luca Padovani	* temporarily removed hbugs dependency	commit \| commitdiff \| tree \| snapshot
2003-10-29	Luca Padovani	* updated for gtk2	commit \| commitdiff \| tree \| snapshot
2003-10-29	Luca Padovani	* updated for gtk2	commit \| commitdiff \| tree \| snapshot
2003-10-29	Stefano Zacchiroli	debian version 0.0.4-2	commit \| commitdiff \| tree \| snapshot
2003-10-29	Luca Padovani	* this implements the new instantiation for gtkmathview	commit \| commitdiff \| tree \| snapshot
2003-10-29	Luca Padovani	* GEdit -> GText	commit \| commitdiff \| tree \| snapshot
2003-10-29	Luca Padovani	* variant types changed for selection mode	commit \| commitdiff \| tree \| snapshot
2003-10-21	Luca Padovani	* fixed O_S variable for ocamlmklib on hppa arch	commit \| commitdiff \| tree \| snapshot
2003-10-21	Stefano Zacchiroli	- debian release 0.0.6-3	commit \| commitdiff \| tree \| snapshot
2003-10-21	Luca Padovani	* first version of the profile manager committed	commit \| commitdiff \| tree \| snapshot
2003-10-18	Luca Padovani	* added timer for profiling the editor	commit \| commitdiff \| tree \| snapshot
2003-10-17	Luca Padovani	* added daemon	commit \| commitdiff \| tree \| snapshot
2003-10-17	Luca Padovani	* oo interface	commit \| commitdiff \| tree \| snapshot
2003-10-17	Luca Padovani	* first files added to cvs	commit \| commitdiff \| tree \| snapshot
2003-10-13	Stefano Zacchiroli	debian version 0.5.1-2	commit \| commitdiff \| tree \| snapshot
2003-10-13	Stefano Zacchiroli	debian version 0.5.1-1	commit \| commitdiff \| tree \| snapshot
2003-10-10	Stefano Zacchiroli	debian snapshot version 0.0.6-2	commit \| commitdiff \| tree \| snapshot
2003-10-08	Luca Padovani	* snapshot for gtk2	commit \| commitdiff \| tree \| snapshot
2003-10-07	Luca Padovani	* added new .ml files to be ignored	commit \| commitdiff \| tree \| snapshot
2003-10-07	Luca Padovani	* lablgtk -> lablgtk2	commit \| commitdiff \| tree \| snapshot
2003-10-07	Luca Padovani	* removed debugging Printfs'	commit \| commitdiff \| tree \| snapshot
2003-10-07	Luca Padovani	* removed currified constructors everywhere. A bug...	commit \| commitdiff \| tree \| snapshot
2003-10-06	Ferruccio Guidi	hxp: performes several tasks among which some metadata...	commit \| commitdiff \| tree \| snapshot
2003-10-06	Luca Padovani	* minor fix	commit \| commitdiff \| tree \| snapshot
2003-10-06	Luca Padovani	* removed spec file	commit \| commitdiff \| tree \| snapshot
2003-10-06	Luca Padovani	* upgrade to lablgtk2	commit \| commitdiff \| tree \| snapshot
2003-10-06	Luca Padovani	* checking for lablgtk2	commit \| commitdiff \| tree \| snapshot
2003-10-06	Luca Padovani	* update dependency: lablgtk -> lablgtk2	commit \| commitdiff \| tree \| snapshot
2003-10-05	Luca Padovani	* added popup menu, implemented some functions	commit \| commitdiff \| tree \| snapshot
2003-10-04	Stefano Zacchiroli	debian package for ocaml 3.07	commit \| commitdiff \| tree \| snapshot
2003-10-04	Luca Padovani	* changed version in configure.ac	commit \| commitdiff \| tree \| snapshot
2003-10-03	Luca Padovani	* further code cleanup	commit \| commitdiff \| tree \| snapshot
2003-10-03	Luca Padovani	* updated #include directives	commit \| commitdiff \| tree \| snapshot
2003-10-01	Andrea Asperti	* the main function MUST return 0 to communicate everyt...	commit \| commitdiff \| tree \| snapshot
2003-10-01	Andrea Asperti	* new version of metadata extraction	commit \| commitdiff \| tree \| snapshot
2003-09-26	Luca Padovani	* the regular expressions must have $ otherwise the...	commit \| commitdiff \| tree \| snapshot
2003-09-23	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2003-09-23	Claudio Sacerdoti...	Reindentation.	commit \| commitdiff \| tree \| snapshot
2003-09-23	Claudio Sacerdoti...	ProofEngine.goal := ==> set_proof_engine_goal	commit \| commitdiff \| tree \| snapshot
2003-09-23	Claudio Sacerdoti...	Reindentation	commit \| commitdiff \| tree \| snapshot
2003-09-23	Claudio Sacerdoti...	ProofEngine.proof is now an abstract data type (since...	commit \| commitdiff \| tree \| snapshot
2003-09-23	Ferruccio Guidi	patch	commit \| commitdiff \| tree \| snapshot
2003-09-23	Claudio Sacerdoti...	This version of xmlDiff is much much much smarter than...	commit \| commitdiff \| tree \| snapshot
2003-09-23	Claudio Sacerdoti...	Reindentation	commit \| commitdiff \| tree \| snapshot
2003-09-23	Claudio Sacerdoti...	BU_Conversion + omit-conclusion is a mess. I have parti...	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom