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

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

2004-01-23	no author	This commit was manufactured by cvs2svn to create tag... V_0_5_1_4	commit \| commitdiff \| tree \| snapshot
2004-01-23	Stefano Zacchiroli	ported to latest lablgtk2 snapshot	commit \| commitdiff \| tree \| snapshot
2004-01-22	Stefano Zacchiroli	added false test	commit \| commitdiff \| tree \| snapshot
2004-01-22	Stefano Zacchiroli	- added -thread switch	commit \| commitdiff \| tree \| snapshot
2004-01-22	Stefano Zacchiroli	build also cic_textual_parser2	commit \| commitdiff \| tree \| snapshot
2004-01-22	Stefano Zacchiroli	updated	commit \| commitdiff \| tree \| snapshot
2004-01-22	Stefano Zacchiroli	added dependency to lablgtk2.glade	commit \| commitdiff \| tree \| snapshot
2004-01-22	Stefano Zacchiroli	added -thread switch and dependency on lablgtk2.glade	commit \| commitdiff \| tree \| snapshot
2004-01-22	Stefano Zacchiroli	moved disambiguate module away	commit \| commitdiff \| tree \| snapshot
2004-01-22	Stefano Zacchiroli	(temporary, waiting for abstraction over disambiguators...	commit \| commitdiff \| tree \| snapshot
2004-01-22	Stefano Zacchiroli	added ChosenTransformer	commit \| commitdiff \| tree \| snapshot
2004-01-22	Stefano Zacchiroli	abstracted over which transformer gTopLevel uses (ocaml...	commit \| commitdiff \| tree \| snapshot
2004-01-22	Andrea Asperti	Now applying ocaml transformations to sequents as well.	commit \| commitdiff \| tree \| snapshot
2004-01-22	Andrea Asperti	A few modifications, here and there...	commit \| commitdiff \| tree \| snapshot
2004-01-22	Andrea Asperti	Added all transformations for sequents.	commit \| commitdiff \| tree \| snapshot
2004-01-22	Claudio Sacerdoti...	The parser have been made more functional with a trick.	commit \| commitdiff \| tree \| snapshot
2004-01-22	Stefano Zacchiroli	use "assert false" where needed	commit \| commitdiff \| tree \| snapshot
2004-01-22	Stefano Zacchiroli	added some match examples/regtests	commit \| commitdiff \| tree \| snapshot
2004-01-22	Stefano Zacchiroli	located parse error message	commit \| commitdiff \| tree \| snapshot
2004-01-22	Stefano Zacchiroli	- bugfix: raise an Invalid_choice insteda of a generic...	commit \| commitdiff \| tree \| snapshot
2004-01-22	Stefano Zacchiroli	added to CicMetaSubst subst wrapper for CicReduction...	commit \| commitdiff \| tree \| snapshot
2004-01-22	Stefano Zacchiroli	- added backup target	commit \| commitdiff \| tree \| snapshot
2004-01-22	Stefano Zacchiroli	- removed some unneeded dependencies from debian/control	commit \| commitdiff \| tree \| snapshot
2004-01-22	Claudio Sacerdoti...	Typo fixed.	commit \| commitdiff \| tree \| snapshot
2004-01-22	Stefano Zacchiroli	prettified	commit \| commitdiff \| tree \| snapshot
2004-01-22	Stefano Zacchiroli	use new proofEngineHelpers	commit \| commitdiff \| tree \| snapshot
2004-01-22	Stefano Zacchiroli	moved hard coded uris to HelmLibraryObjects	commit \| commitdiff \| tree \| snapshot
2004-01-22	Stefano Zacchiroli	ported to cicMetaSubst	commit \| commitdiff \| tree \| snapshot
2004-01-22	Stefano Zacchiroli	- splitted into cicMetaSubst	commit \| commitdiff \| tree \| snapshot
2004-01-22	Stefano Zacchiroli	bugfixes, typos and the hell	commit \| commitdiff \| tree \| snapshot
2004-01-22	Stefano Zacchiroli	split into this and cicMetaSubst.mli	commit \| commitdiff \| tree \| snapshot
2004-01-22	Stefano Zacchiroli	added CicMetaSubst module for metavariable instantiatiation	commit \| commitdiff \| tree \| snapshot
2004-01-22	Stefano Zacchiroli	better exception and error messages	commit \| commitdiff \| tree \| snapshot
2004-01-22	Stefano Zacchiroli	- bugfix: print metas local context in the rigth order	commit \| commitdiff \| tree \| snapshot
2004-01-20	Andrea Asperti	First version of refine for MutCase, still largely...	commit \| commitdiff \| tree \| snapshot
2004-01-20	Claudio Sacerdoti...	/projects/helm/log moved to /var/log/mowgli	commit \| commitdiff \| tree \| snapshot
2004-01-20	Claudio Sacerdoti...	/projects/helm/run/*_mowgli.pid moved into /var/run	commit \| commitdiff \| tree \| snapshot
2004-01-19	Claudio Sacerdoti...	Scripts simplified (since now we have only one cluster...	commit \| commitdiff \| tree \| snapshot
2004-01-19	Claudio Sacerdoti...	NuPRL stuff moved.	commit \| commitdiff \| tree \| snapshot
2004-01-19	Claudio Sacerdoti...	No longer in use. The official repository for the	commit \| commitdiff \| tree \| snapshot
2004-01-19	Claudio Sacerdoti...	Branch V7_3_new_exportation merged.	commit \| commitdiff \| tree \| snapshot
2004-01-19	Claudio Sacerdoti...	Error message updated.	commit \| commitdiff \| tree \| snapshot
2004-01-19	Claudio Sacerdoti...	No more in use.	commit \| commitdiff \| tree \| snapshot
2004-01-19	Claudio Sacerdoti...	Typo fixed.	commit \| commitdiff \| tree \| snapshot
2004-01-19	Claudio Sacerdoti...	We are now using the standard dot distribution of debian.	commit \| commitdiff \| tree \| snapshot
2004-01-19	Claudio Sacerdoti...	Only V7_mowgli left.	commit \| commitdiff \| tree \| snapshot
2004-01-19	Claudio Sacerdoti...	Daemons moved to /projects/helm/daemons.	commit \| commitdiff \| tree \| snapshot
2004-01-19	Claudio Sacerdoti...	Daemon moved to /projects/helm/daemons.	commit \| commitdiff \| tree \| snapshot
2004-01-19	Claudio Sacerdoti...	* empty log message *	commit \| commitdiff \| tree \| snapshot
2004-01-19	Claudio Sacerdoti...	Several daemons moved into /projects/helm/daemons.	commit \| commitdiff \| tree \| snapshot
2004-01-19	Claudio Sacerdoti...	Errore message improved.	commit \| commitdiff \| tree \| snapshot
2004-01-19	Claudio Sacerdoti...	Missing package dependency.	commit \| commitdiff \| tree \| snapshot
2004-01-19	Stefano Zacchiroli	snapshot, almost working	commit \| commitdiff \| tree \| snapshot
2004-01-19	Stefano Zacchiroli	added a CSC's TODO comment	commit \| commitdiff \| tree \| snapshot
2004-01-19	Stefano Zacchiroli	added MkImplicit module for meta handling	commit \| commitdiff \| tree \| snapshot
2004-01-19	Stefano Zacchiroli	added Peano module and functions to create natural...	commit \| commitdiff \| tree \| snapshot
2004-01-19	Claudio Sacerdoti...	Branch V7_3_new_exportation closed.	commit \| commitdiff \| tree \| snapshot
2004-01-19	Claudio Sacerdoti...	mathql listed twice	commit \| commitdiff \| tree \| snapshot
2004-01-19	Claudio Sacerdoti...	The searchengine now requires the mathql_db_map.txt.	commit \| commitdiff \| tree \| snapshot
2004-01-19	Claudio Sacerdoti...	No longer in use.	commit \| commitdiff \| tree \| snapshot
2004-01-19	Claudio Sacerdoti...	Error in the warning message.	commit \| commitdiff \| tree \| snapshot
2004-01-14	Stefano Zacchiroli	added missing depending on (CSC's) helm-cic_textual_parser	commit \| commitdiff \| tree \| snapshot
2004-01-14	Stefano Zacchiroli	removed ui_logger, now in external module logger	commit \| commitdiff \| tree \| snapshot
2004-01-14	Stefano Zacchiroli	added missing dependencies on mathql-*	commit \| commitdiff \| tree \| snapshot
2004-01-14	Stefano Zacchiroli	added logger's META	commit \| commitdiff \| tree \| snapshot
2004-01-14	Stefano Zacchiroli	moved to the logger module	commit \| commitdiff \| tree \| snapshot
2004-01-14	Stefano Zacchiroli	- added logger module	commit \| commitdiff \| tree \| snapshot
2004-01-14	Stefano Zacchiroli	moved here ui_logger from gTopLeve	commit \| commitdiff \| tree \| snapshot
2004-01-14	Stefano Zacchiroli	still a working copy, now towards a cleaner implementat...	commit \| commitdiff \| tree \| snapshot
2004-01-12	Stefano Zacchiroli	added HelmLibraryObjects module	commit \| commitdiff \| tree \| snapshot
2003-12-19	Luca Padovani	* removed email address	commit \| commitdiff \| tree \| snapshot
2003-12-18	Claudio Sacerdoti...	Bug commented out. The comment is also commented.	commit \| commitdiff \| tree \| snapshot
2003-12-18	Claudio Sacerdoti...	Big bug spotted: restriction can fail and it was implic...	commit \| commitdiff \| tree \| snapshot
2003-12-18	Claudio Sacerdoti...	One of the bug I detected (and commented) in my last...	commit \| commitdiff \| tree \| snapshot
2003-12-17	Ferruccio Guidi	patched	commit \| commitdiff \| tree \| snapshot
2003-12-17	Claudio Sacerdoti...	More comments. Some of them may highlight bugs or open...	commit \| commitdiff \| tree \| snapshot
2003-12-17	Stefano Zacchiroli	generate gui to temp file in order to catch lablgladecc...	commit \| commitdiff \| tree \| snapshot
2003-12-17	Stefano Zacchiroli	rebuilt	commit \| commitdiff \| tree \| snapshot
2003-12-17	Stefano Zacchiroli	s/Logger/CicLogger/	commit \| commitdiff \| tree \| snapshot
2003-12-17	Stefano Zacchiroli	use ocaml-http instead of netclient for http requests	commit \| commitdiff \| tree \| snapshot
2003-12-17	Ferruccio Guidi	Makefiles patched	commit \| commitdiff \| tree \| snapshot
2003-12-17	Claudio Sacerdoti...	Big bug spotted and commented: the delift function...	commit \| commitdiff \| tree \| snapshot
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
next

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

RSS Atom