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

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

2002-10-25	Claudio Sacerdoti...	Better configuration management.	commit \| commitdiff \| tree \| snapshot
2002-10-25	Enrico Tassi	Now esempi/fourier.cic end with a proof!	commit \| commitdiff \| tree \| snapshot
2002-10-24	Claudio Sacerdoti...	Bug fixed: I don't know what the bug was exactly, but...	commit \| commitdiff \| tree \| snapshot
2002-10-22	Ferruccio Guidi	mqint.ml patched	commit \| commitdiff \| tree \| snapshot
2002-10-22	Ferruccio Guidi	topLevel updated to use mqint set_database and get_database	commit \| commitdiff \| tree \| snapshot
2002-10-22	Claudio Sacerdoti...	Bug ``fixed'': we do not need to apply sym_eqT since...	commit \| commitdiff \| tree \| snapshot
2002-10-22	Claudio Sacerdoti...	- matql_interpreter_galax branch removed once and for...	commit \| commitdiff \| tree \| snapshot
2002-10-22	natile	Switching interpreter patched, addedd:	commit \| commitdiff \| tree \| snapshot
2002-10-22	Claudio Sacerdoti...	The two interpreters are now both in mathql_interpreter...	commit \| commitdiff \| tree \| snapshot
2002-10-21	Claudio Sacerdoti...	No more useful	commit \| commitdiff \| tree \| snapshot
2002-10-21	natile	Old modules (use.ml/mli, eval.ml/mli,...) eliminated.	commit \| commitdiff \| tree \| snapshot
2002-10-21	natile	Switching interpreter.	commit \| commitdiff \| tree \| snapshot
2002-10-21	Michele Galatà	Comments reindented.	commit \| commitdiff \| tree \| snapshot
2002-10-21	natile	Merge of the new_mathql branch with the main branch:	commit \| commitdiff \| tree \| snapshot
2002-10-21	natile	Merge of the new_mathql branch with the main branch:	commit \| commitdiff \| tree \| snapshot
2002-10-17	Enrico Tassi	- indentation is now in pseudo-functional style!	commit \| commitdiff \| tree \| snapshot
2002-10-17	Enrico Tassi	- rewritesimpl_tac added in fourierR.ml (wrong location)	commit \| commitdiff \| tree \| snapshot
2002-10-16	Claudio Sacerdoti...	- write_tac fixed (the list of new goals was empty)	commit \| commitdiff \| tree \| snapshot
2002-10-14	Claudio Sacerdoti...	A tough test for rewrite.	commit \| commitdiff \| tree \| snapshot
2002-10-14	Claudio Sacerdoti...	- bug fixed: some liftings were missing in the implemen...	commit \| commitdiff \| tree \| snapshot
2002-10-11	Claudio Sacerdoti...	- rewrite extended to handle rewritings with eqT	commit \| commitdiff \| tree \| snapshot
2002-10-11	Claudio Sacerdoti...	Trivial bug in equality_replace fixed: an exception...	commit \| commitdiff \| tree \| snapshot
2002-10-11	Claudio Sacerdoti...	New tactic rewrite implemented.	commit \| commitdiff \| tree \| snapshot
2002-10-11	Claudio Sacerdoti...	- idtac used for debugging removed	commit \| commitdiff \| tree \| snapshot
2002-10-11	Enrico Tassi	More debug printings.	commit \| commitdiff \| tree \| snapshot
2002-10-11	natile	Use patched.	commit \| commitdiff \| tree \| snapshot
2002-10-10	Enrico Tassi	Added an example to test fourier_tac.	commit \| commitdiff \| tree \| snapshot
2002-10-10	Enrico Tassi	Debug printing update, now the unification bug	commit \| commitdiff \| tree \| snapshot
2002-10-10	Claudio Sacerdoti...	Handling of the splitting of constants into body +...	commit \| commitdiff \| tree \| snapshot
2002-10-10	Claudio Sacerdoti...	Handling of the splitting of constants in body + type.	commit \| commitdiff \| tree \| snapshot
2002-10-10	Claudio Sacerdoti...	HTTP_GETTER_PORT environment variable added	commit \| commitdiff \| tree \| snapshot
2002-10-09	Claudio Sacerdoti...	Several bug-fixes:	commit \| commitdiff \| tree \| snapshot
2002-10-09	Claudio Sacerdoti...	Pretty-printing of MUTIND and MUTCONSTRUCT with crazy...	commit \| commitdiff \| tree \| snapshot
2002-10-09	Claudio Sacerdoti...	added bootmisc and tomcat scripts	commit \| commitdiff \| tree \| snapshot
2002-10-09	Stefano Zacchiroli	added support for unload and reload of predefined style...	commit \| commitdiff \| tree \| snapshot
2002-10-09	Stefano Zacchiroli	script that loads predefined uwobo stylesheets	commit \| commitdiff \| tree \| snapshot
2002-10-09	Stefano Zacchiroli	added /etc/init.d/ stuff	commit \| commitdiff \| tree \| snapshot
2002-10-08	Claudio Sacerdoti...	Web-services ordered by port number.	commit \| commitdiff \| tree \| snapshot
2002-10-08	Claudio Sacerdoti...	DRAW_GRAPH_PORT environment variable added	commit \| commitdiff \| tree \| snapshot
2002-10-08	Claudio Sacerdoti...	URI_SET_QUEUE_PORT and DRAW_GRAPH_PORT added	commit \| commitdiff \| tree \| snapshot
2002-10-08	Claudio Sacerdoti...	Default ports changed.	commit \| commitdiff \| tree \| snapshot
2002-10-08	Claudio Sacerdoti...	URI_SET_QUEUE_PORT environment variable added	commit \| commitdiff \| tree \| snapshot
2002-10-08	Claudio Sacerdoti...	proofcheckerURL configuration parameter added	commit \| commitdiff \| tree \| snapshot
2002-10-08	Claudio Sacerdoti...	proofcheckerURL param added	commit \| commitdiff \| tree \| snapshot
2002-10-07	Enrico Tassi	fourier_tac without useless recursion	commit \| commitdiff \| tree \| snapshot
2002-10-07	Claudio Sacerdoti...	- The Getter and UWOBO moved to mowgli.	commit \| commitdiff \| tree \| snapshot
2002-10-07	Claudio Sacerdoti...	- New environment variables set.	commit \| commitdiff \| tree \| snapshot
2002-10-07	Enrico Tassi	hopefully last tactic update cvs log	commit \| commitdiff \| tree \| snapshot
2002-10-07	Claudio Sacerdoti...	Initial revision	commit \| commitdiff \| tree \| snapshot
2002-10-07	Claudio Sacerdoti...	HTTP_GETTER_DTD_BASE_DIR configuration parameter added	commit \| commitdiff \| tree \| snapshot
2002-10-02	Enrico Tassi	tactic update	commit \| commitdiff \| tree \| snapshot
2002-10-02	Irene Schena	Modified Files:	commit \| commitdiff \| tree \| snapshot
2002-09-27	Claudio Sacerdoti...	Better handling of queries. Now both the locate and...	commit \| commitdiff \| tree \| snapshot
2002-09-23	Irene Schena	Modified Files:	commit \| commitdiff \| tree \| snapshot
2002-09-20	Claudio Sacerdoti...	change code moved to change_tac (functional version...	commit \| commitdiff \| tree \| snapshot
2002-09-20	Irene Schena	Modified Files:	commit \| commitdiff \| tree \| snapshot
2002-09-19	natile	commit of galax mathql interpreter	commit \| commitdiff \| tree \| snapshot
2002-09-19	Enrico Tassi	Tactic update	commit \| commitdiff \| tree \| snapshot
2002-09-18	Claudio Sacerdoti...	Small code improvement.	commit \| commitdiff \| tree \| snapshot
2002-09-18	Enrico Tassi	Tactic update	commit \| commitdiff \| tree \| snapshot
2002-09-17	Ferruccio Guidi	new query generator	commit \| commitdiff \| tree \| snapshot
2002-09-16	Claudio Sacerdoti...	List of tactics implemented and to implement (italian...	commit \| commitdiff \| tree \| snapshot
2002-09-13	Ferruccio Guidi	restricted mode to use when the database is down :)	commit \| commitdiff \| tree \| snapshot
2002-09-13	Ferruccio Guidi	query generator timing feature improved	commit \| commitdiff \| tree \| snapshot
2002-09-13	Irene Schena	Modified Files:	commit \| commitdiff \| tree \| snapshot
2002-09-13	Claudio Sacerdoti...	ring.ml* splitted into ring.ml* and tacticals.ml*	commit \| commitdiff \| tree \| snapshot
2002-09-13	Claudio Sacerdoti...	then_ tactical implemented (equivalent to the tclTHEN...	commit \| commitdiff \| tree \| snapshot
2002-09-13	Irene Schena	Modified Files:	commit \| commitdiff \| tree \| snapshot
2002-09-13	Enrico Tassi	Fourier tactic update	commit \| commitdiff \| tree \| snapshot
2002-09-09	Claudio Sacerdoti...	When locate is used during the lexing phase, it may...	commit \| commitdiff \| tree \| snapshot
2002-09-09	Claudio Sacerdoti...	Patch applied to the locate query: when used to retriev...	commit \| commitdiff \| tree \| snapshot
2002-09-09	Enrico Tassi	Fourier tactic update	commit \| commitdiff \| tree \| snapshot
2002-09-07	Enrico Tassi	First works	commit \| commitdiff \| tree \| snapshot
2002-09-06	Irene Schena	Added Files:	commit \| commitdiff \| tree \| snapshot
2002-09-05	Ferruccio Guidi	mQueryGenerator and topLevel patched	commit \| commitdiff \| tree \| snapshot
2002-09-05	Irene Schena	Modified Files:	commit \| commitdiff \| tree \| snapshot
2002-09-05	Ferruccio Guidi	some small improvements: command line sintax changed...	commit \| commitdiff \| tree \| snapshot
2002-09-05	Irene Schena	Modified Files:	commit \| commitdiff \| tree \| snapshot
2002-09-04	Claudio Sacerdoti...	The parser (the lexer indeed) now use the locate query...	commit \| commitdiff \| tree \| snapshot
2002-09-04	Ferruccio Guidi	raw HTML markap generator	commit \| commitdiff \| tree \| snapshot
2002-09-04	Ferruccio Guidi	textual parser fixed	commit \| commitdiff \| tree \| snapshot
2002-09-04	Enrico Tassi	Fourier tactic	commit \| commitdiff \| tree \| snapshot
2002-09-03	Irene Schena	Added Files:	commit \| commitdiff \| tree \| snapshot
2002-08-30	Ferruccio Guidi	user name added to tmp file name	commit \| commitdiff \| tree \| snapshot
2002-08-29	Irene Schena	Modified Files:	commit \| commitdiff \| tree \| snapshot
2002-08-29	Michele Galatà	Type expression simplified.	commit \| commitdiff \| tree \| snapshot
2002-08-29	Michele Galatà	Comment typo fixed.	commit \| commitdiff \| tree \| snapshot
2002-08-28	Irene Schena	Modified Files:	commit \| commitdiff \| tree \| snapshot
2002-08-28	Stefano Zacchiroli	debian release -3	commit \| commitdiff \| tree \| snapshot
2002-08-28	Stefano Zacchiroli	debian version "-8"	commit \| commitdiff \| tree \| snapshot
2002-08-28	Stefano Zacchiroli	forward compatibility changes for ocaml 3.06	commit \| commitdiff \| tree \| snapshot
2002-08-27	Claudio Sacerdoti...	Interface file created. Missing from previous commit.	commit \| commitdiff \| tree \| snapshot
2002-07-29	Claudio Sacerdoti...	Updated to use the new parser that creates (stacks...	commit \| commitdiff \| tree \| snapshot
2002-07-29	Claudio Sacerdoti...	Updated to use the new parser that creates (stacks...	commit \| commitdiff \| tree \| snapshot
2002-07-22	Claudio Sacerdoti...	Many improvements in tactics (and tactical) representation:	commit \| commitdiff \| tree \| snapshot
2002-07-22	Claudio Sacerdoti...	First version of hxsp (new version of UWOBO implemented...	commit \| commitdiff \| tree \| snapshot
2002-07-02	Stefano Zacchiroli	Added examples.	commit \| commitdiff \| tree \| snapshot
2002-07-02	Stefano Zacchiroli	converted to unix textfile (fromdos)	commit \| commitdiff \| tree \| snapshot
2002-07-02	Stefano Zacchiroli	bugfix: Ring will work again with varmaps :-)	commit \| commitdiff \| tree \| snapshot
2002-07-01	Stefano Zacchiroli	- added Ring tactic on reals	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom