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

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

2004-04-14	Ferruccio Guidi	HELM dependent Mathql-1.4 library mathql_1_4	commit \| commitdiff \| tree \| snapshot
2004-04-14	Ferruccio Guidi	patched	commit \| commitdiff \| tree \| snapshot
2004-04-14	Ferruccio Guidi	some new features of mathql-1.3 where included	commit \| commitdiff \| tree \| snapshot
2004-02-27	Ferruccio Guidi	MySql database support added	commit \| commitdiff \| tree \| snapshot
2004-02-27	no author	This commit was manufactured by cvs2svn to create branc...	commit \| commitdiff \| tree \| snapshot
2004-02-24	Ferruccio Guidi	patched	commit \| commitdiff \| tree \| snapshot
2004-02-24	Ferruccio Guidi	- patched for new CIC	commit \| commitdiff \| tree \| snapshot
2004-02-24	Ferruccio Guidi	interpreter flags were reorganized	commit \| commitdiff \| tree \| snapshot
2004-02-18	Ferruccio Guidi	now mathql interpreter use helm registry	commit \| commitdiff \| tree \| snapshot
2004-02-18	Ferruccio Guidi	native support for reference shells added to mqgtop	commit \| commitdiff \| tree \| snapshot
2004-02-04	Ferruccio Guidi	optimized and patched	commit \| commitdiff \| tree \| snapshot
2004-02-04	Ferruccio Guidi	an optimization was inserted	commit \| commitdiff \| tree \| snapshot
2004-01-20	Ferruccio Guidi	functor added	commit \| commitdiff \| tree \| snapshot
2003-12-09	Ferruccio Guidi	update	commit \| commitdiff \| tree \| snapshot
2003-12-09	Ferruccio Guidi	standard library and while construction inserted	commit \| commitdiff \| tree \| snapshot
2003-12-09	Ferruccio Guidi	while construction inserted	commit \| commitdiff \| tree \| snapshot
2003-11-07	Ferruccio Guidi	porting mqgtop to version 1.4	commit \| commitdiff \| tree \| snapshot
2003-11-07	Ferruccio Guidi	patched and new Gen constructor added	commit \| commitdiff \| tree \| snapshot
2003-11-07	Ferruccio Guidi	new Gen constructor for interfacing a query generator	commit \| commitdiff \| tree \| snapshot
2003-11-07	Ferruccio Guidi	ported to version 1.4	commit \| commitdiff \| tree \| snapshot
2003-10-30	Ferruccio Guidi	patched and some funtions added	commit \| commitdiff \| tree \| snapshot
2003-10-10	Ferruccio Guidi	patched and improved	commit \| commitdiff \| tree \| snapshot
2003-10-10	Ferruccio Guidi	patched	commit \| commitdiff \| tree \| snapshot
2003-10-01	Ferruccio Guidi	first version	commit \| commitdiff \| tree \| snapshot
2003-10-01	no author	This commit was manufactured by cvs2svn to create branc...	commit \| commitdiff \| tree \| snapshot
2003-09-23	Claudio Sacerdoti...	Debugging stuff removed.	commit \| commitdiff \| tree \| snapshot
2003-09-23	Ferruccio Guidi	Now mathql_generator compiles before mathql_interpreter.	commit \| commitdiff \| tree \| snapshot
2003-09-23	Claudio Sacerdoti...	Preliminary support for proof-tree enhanced: proof...	commit \| commitdiff \| tree \| snapshot
2003-09-23	Claudio Sacerdoti...	- added support for proof trees	commit \| commitdiff \| tree \| snapshot
2003-09-19	Claudio Sacerdoti...	clean_cache method added	commit \| commitdiff \| tree \| snapshot
2003-09-19	Claudio Sacerdoti...	cleancache ==> clean_cache	commit \| commitdiff \| tree \| snapshot
2003-09-19	Claudio Sacerdoti...	Clean cache method added.	commit \| commitdiff \| tree \| snapshot
2003-09-19	Claudio Sacerdoti...	param.framewidth = 150 (hard-coded ;-( pour Hanane...	commit \| commitdiff \| tree \| snapshot
2003-09-19	Claudio Sacerdoti...	Following an hyperlink from a proof-tree rendering...	commit \| commitdiff \| tree \| snapshot
2003-09-19	Claudio Sacerdoti...	Preliminary commit to support Hanane's proof-tree rende...	commit \| commitdiff \| tree \| snapshot
2003-09-18	Claudio Sacerdoti...	prop.media-type and prop.encoding were _NOT_ considered...	commit \| commitdiff \| tree \| snapshot
2003-09-17	Claudio Sacerdoti...	www-sop.inria.fr	commit \| commitdiff \| tree \| snapshot
2003-09-14	Stefano Zacchiroli	- bumped copyright years	commit \| commitdiff \| tree \| snapshot
2003-09-14	Stefano Zacchiroli	- converted TAB to spaces	commit \| commitdiff \| tree \| snapshot
2003-09-14	Stefano Zacchiroli	- clear hints list upon status submit	commit \| commitdiff \| tree \| snapshot
2003-09-13	Stefano Zacchiroli	- added support for dumping environment to file on...	commit \| commitdiff \| tree \| snapshot
2003-09-13	Stefano Zacchiroli	added environment setting (set by fill_template)	commit \| commitdiff \| tree \| snapshot
2003-09-13	Stefano Zacchiroli	added environment file setting for each tutor	commit \| commitdiff \| tree \| snapshot
2003-09-13	Stefano Zacchiroli	added support for dump/restore/clear proof checker...	commit \| commitdiff \| tree \| snapshot
2003-09-13	Stefano Zacchiroli	added notation for reals 0, 1, n	commit \| commitdiff \| tree \| snapshot
2003-09-13	Luca Padovani	* small fixes for distribution	commit \| commitdiff \| tree \| snapshot
2003-09-13	Luca Padovani	* fixed dependency on gtkmathview 0.5.1	commit \| commitdiff \| tree \| snapshot
2003-09-13	Luca Padovani	* added licence to IDL file	commit \| commitdiff \| tree \| snapshot
2003-09-13	Luca Padovani	* some code cleanup	commit \| commitdiff \| tree \| snapshot
2003-09-12	Luca Padovani	* using the clipboard to communicate the id of the...	commit \| commitdiff \| tree \| snapshot
2003-09-10	Luca Padovani	* completed implementation of View interface	commit \| commitdiff \| tree \| snapshot
2003-09-09	Luca Padovani	* prototypes for auxiliary C++ functions	commit \| commitdiff \| tree \| snapshot
2003-09-09	Luca Padovani	* advanced implementation of View interface	commit \| commitdiff \| tree \| snapshot
2003-09-09	pmasoudi	snapshot	commit \| commitdiff \| tree \| snapshot
2003-09-09	Luca Padovani	* snapshot	commit \| commitdiff \| tree \| snapshot
2003-09-09	Luca Padovani	* exceptionset -> exception_set	commit \| commitdiff \| tree \| snapshot
2003-09-08	Luca Padovani	* update	commit \| commitdiff \| tree \| snapshot
2003-09-08	Luca Padovani	* code cleanup	commit \| commitdiff \| tree \| snapshot
2003-09-08	Luca Padovani	* IDL file update (and renamed)	commit \| commitdiff \| tree \| snapshot
2003-09-08	pmasoudi	select and click signal added	commit \| commitdiff \| tree \| snapshot
2003-09-08	Ferruccio Guidi	added information on the "qdl" article with C.S.C.	commit \| commitdiff \| tree \| snapshot
2003-09-07	Stefano Zacchiroli	use an integer debugging level instead of a boolean one	commit \| commitdiff \| tree \| snapshot
2003-09-07	Stefano Zacchiroli	- use hbugs' describe_callback to render apply-hints...	commit \| commitdiff \| tree \| snapshot
2003-09-07	Stefano Zacchiroli	commented out gtkmathview's font_size override	commit \| commitdiff \| tree \| snapshot
2003-09-07	Stefano Zacchiroli	added "start" and "stop" targets for hbugs	commit \| commitdiff \| tree \| snapshot
2003-09-07	Stefano Zacchiroli	added support for external configuration of describe_hi...	commit \| commitdiff \| tree \| snapshot
2003-09-07	Stefano Zacchiroli	added "describe_hint_callback" invoked when a hint...	commit \| commitdiff \| tree \| snapshot
2003-09-07	Stefano Zacchiroli	- removed useless status bar	commit \| commitdiff \| tree \| snapshot
2003-09-07	Stefano Zacchiroli	send SIGKILL to stop web services	commit \| commitdiff \| tree \| snapshot
2003-09-07	Stefano Zacchiroli	commented out thread killing (we have to wait for a...	commit \| commitdiff \| tree \| snapshot
2003-09-05	Claudio Sacerdoti...	get_childNodes no longer used ==> major performance...	commit \| commitdiff \| tree \| snapshot
2003-09-05	Stefano Zacchiroli	Defs in context may now have an optional type (when...	commit \| commitdiff \| tree \| snapshot
2003-09-05	Stefano Zacchiroli	added \neqt macro	commit \| commitdiff \| tree \| snapshot
2003-09-05	Stefano Zacchiroli	added notation for Ropp and Rinv	commit \| commitdiff \| tree \| snapshot
2003-09-05	Claudio Sacerdoti...	string ==> id	commit \| commitdiff \| tree \| snapshot
2003-09-05	Stefano Zacchiroli	Defs in context may now have an optional type (when...	commit \| commitdiff \| tree \| snapshot
2003-09-05	Stefano Zacchiroli	fixed associativity of some (all!) binary operators	commit \| commitdiff \| tree \| snapshot
2003-09-05	Claudio Sacerdoti...	Replace is now working also over Type.	commit \| commitdiff \| tree \| snapshot
2003-09-05	Claudio Sacerdoti...	Replace tactic fixed. It was not working any longer...	commit \| commitdiff \| tree \| snapshot
2003-09-05	Claudio Sacerdoti...	Notation for Rdiv and Rminus.	commit \| commitdiff \| tree \| snapshot
2003-09-05	Claudio Sacerdoti...	Debugging infos removed.	commit \| commitdiff \| tree \| snapshot
2003-09-05	Claudio Sacerdoti...	string => id	commit \| commitdiff \| tree \| snapshot
2003-09-05	Claudio Sacerdoti...	Defs in context may now have an optional type (when...	commit \| commitdiff \| tree \| snapshot
2003-09-05	Stefano Zacchiroli	replaced with my generic latex makefile	commit \| commitdiff \| tree \| snapshot
2003-09-04	Luca Padovani	* update with some candidate methods	commit \| commitdiff \| tree \| snapshot
2003-09-04	Luca Padovani	* added test View interface. It is basically empty...	commit \| commitdiff \| tree \| snapshot
2003-09-04	Stefano Zacchiroli	- added a destroy callback	commit \| commitdiff \| tree \| snapshot
2003-09-04	Stefano Zacchiroli	start tutors with nice at the lowest priority	commit \| commitdiff \| tree \| snapshot
2003-09-04	Stefano Zacchiroli	avoid deletion of useful .cmi with .PRECIOUS	commit \| commitdiff \| tree \| snapshot
2003-09-04	Stefano Zacchiroli	commented out debugging tutor "wait"	commit \| commitdiff \| tree \| snapshot
2003-09-04	Stefano Zacchiroli	- added dot notation for real numbers and basic operati...	commit \| commitdiff \| tree \| snapshot
2003-09-04	Stefano Zacchiroli	- added default URI for new theorems	commit \| commitdiff \| tree \| snapshot
2003-09-04	Stefano Zacchiroli	added support for X11 clipboard pasting with CTRL-V...	commit \| commitdiff \| tree \| snapshot
2003-09-04	Stefano Zacchiroli	added methods to start/stop web services	commit \| commitdiff \| tree \| snapshot
2003-09-04	Stefano Zacchiroli	added eqT's macro	commit \| commitdiff \| tree \| snapshot
2003-09-04	pmasoudi	scrollbars added & control structure screated	commit \| commitdiff \| tree \| snapshot
2003-09-04	Stefano Zacchiroli	fixed typo in eqT's URI	commit \| commitdiff \| tree \| snapshot
2003-09-04	Ferruccio Guidi	CGLocateInductive patched	commit \| commitdiff \| tree \| snapshot
2003-09-04	Ferruccio Guidi	added the support for the "Locate Inductive Principles...	commit \| commitdiff \| tree \| snapshot
2003-08-01	Luca Padovani	* removed wrong unref	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom