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

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

2002-11-04	Claudio Sacerdoti...	- synchronization with the main branch	commit \| commitdiff \| tree \| snapshot
2002-11-04	Claudio Sacerdoti...	- porting to the new theory with explicit named substit...	commit \| commitdiff \| tree \| snapshot
2002-11-04	Claudio Sacerdoti...	- new fold tactic	commit \| commitdiff \| tree \| snapshot
2002-11-04	Claudio Sacerdoti...	- new CicTextualParser	commit \| commitdiff \| tree \| snapshot
2002-11-04	Claudio Sacerdoti...	New CicTextualParser: it now returns (approximately...	commit \| commitdiff \| tree \| snapshot
2002-11-02	Matteo Selmi	Corrected some wrong paths	commit \| commitdiff \| tree \| snapshot
2002-11-02	Matteo Selmi	Corrected some wrong paths	commit \| commitdiff \| tree \| snapshot
2002-10-31	Claudio Sacerdoti...	Several bug-fixes:	commit \| commitdiff \| tree \| snapshot
2002-10-31	Claudio Sacerdoti...	Bug fixed: the declared number of new goals of Apply...	commit \| commitdiff \| tree \| snapshot
2002-10-31	Claudio Sacerdoti...	Better layout of the buttons.	commit \| commitdiff \| tree \| snapshot
2002-10-31	Michele Galatà	Added variousTactic with Constructor, Left, Right,...	commit \| commitdiff \| tree \| snapshot
2002-10-31	Claudio Sacerdoti...	- ElimIntrosSimpl now implemented using tacticals....	commit \| commitdiff \| tree \| snapshot
2002-10-31	Claudio Sacerdoti...	explicit namd substitutions introduced	commit \| commitdiff \| tree \| snapshot
2002-10-31	Claudio Sacerdoti...	New euristich for the unification: convertible terms...	commit \| commitdiff \| tree \| snapshot
2002-10-31	Claudio Sacerdoti...	Metadata DTD changed.	commit \| commitdiff \| tree \| snapshot
2002-10-31	Claudio Sacerdoti...	Porting to the new metadata DTD.	commit \| commitdiff \| tree \| snapshot
2002-10-30	Claudio Sacerdoti...	Undo of the previous commit (that was a mistake).	commit \| commitdiff \| tree \| snapshot
2002-10-30	Claudio Sacerdoti...	Bug fixed in reduction/simplification of explicit named...	commit \| commitdiff \| tree \| snapshot
2002-10-30	Claudio Sacerdoti...	Dead code removal.	commit \| commitdiff \| tree \| snapshot
2002-10-30	Claudio Sacerdoti...	Minor interface improvement.	commit \| commitdiff \| tree \| snapshot
2002-10-30	Claudio Sacerdoti...	- (Partial) porting to the new theory with explicit...	commit \| commitdiff \| tree \| snapshot
2002-10-30	Matteo Selmi	Correct errors due to a different form of LAMBDA	commit \| commitdiff \| tree \| snapshot
2002-10-30	Matteo Selmi	Written particular uses of induction and corrected...	commit \| commitdiff \| tree \| snapshot
2002-10-30	Matteo Selmi	Correct CurrentProof	commit \| commitdiff \| tree \| snapshot
2002-10-30	Claudio Sacerdoti...	Better implementation of the trusting machinery: some...	commit \| commitdiff \| tree \| snapshot
2002-10-30	Claudio Sacerdoti...	Merging of the modifications of Lorenzo on the main...	commit \| commitdiff \| tree \| snapshot
2002-10-30	Matteo Selmi	Correct CurrentProof	commit \| commitdiff \| tree \| snapshot
2002-10-29	Claudio Sacerdoti...	Bugs fixed: unification were not really explicit-named...	commit \| commitdiff \| tree \| snapshot
2002-10-28	Claudio Sacerdoti...	Variables can also be instantiated.	commit \| commitdiff \| tree \| snapshot
2002-10-28	Claudio Sacerdoti...	- cicParser interface changed	commit \| commitdiff \| tree \| snapshot
2002-10-28	Claudio Sacerdoti...	- metasenv is now checked	commit \| commitdiff \| tree \| snapshot
2002-10-28	Claudio Sacerdoti...	- parser improved: constant uris and variable uris...	commit \| commitdiff \| tree \| snapshot
2002-10-28	Claudio Sacerdoti...	- cicParser interface simplified	commit \| commitdiff \| tree \| snapshot
2002-10-28	Claudio Sacerdoti...	- for/of attribute no more checked ;-(	commit \| commitdiff \| tree \| snapshot
2002-10-25	Claudio Sacerdoti...	New attribute @params for variables.	commit \| commitdiff \| tree \| snapshot
2002-10-25	Claudio Sacerdoti...	The fact that an object is trusted is now logged.	commit \| commitdiff \| tree \| snapshot
2002-10-25	Claudio Sacerdoti...	Cooking is no more required. Now we have explicit named...	commit \| commitdiff \| tree \| snapshot
2002-10-25	Claudio Sacerdoti...	cicCooking.ml* forgot in the previous commit	commit \| commitdiff \| tree \| snapshot
2002-10-25	Claudio Sacerdoti...	- Porting of all the code to the new DTD format (with...	commit \| commitdiff \| tree \| snapshot
2002-10-25	no author	This commit was manufactured by cvs2svn to create branch	commit \| commitdiff \| tree \| snapshot
2002-10-24	Matteo Selmi	Modified some wrong paths	commit \| commitdiff \| tree \| snapshot
2002-10-24	Matteo Selmi	Written function that produce the variable "ConstantTyp...	commit \| commitdiff \| tree \| snapshot
2002-10-23	Claudio Sacerdoti...	When printing the body of a constant, the type is also...	commit \| commitdiff \| tree \| snapshot
2002-10-22	Matteo Selmi	- removed checkings for objects Definition and Axiom.	commit \| commitdiff \| tree \| snapshot
2002-10-10	Matteo Selmi	New DTD for the new exportation procedure.	commit \| commitdiff \| tree \| snapshot
2002-10-09	Claudio Sacerdoti...	Synchronization with the main branch: proofcheckerURL...	commit \| commitdiff \| tree \| snapshot
2002-10-09	Claudio Sacerdoti...	New DTD for the new exportation module.	commit \| commitdiff \| tree \| snapshot
2002-10-09	no author	This commit was manufactured by cvs2svn to create branch	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
2002-07-01	Stefano Zacchiroli	bugfix that inhibit the removal of certain hypotheses	commit \| commitdiff \| tree \| snapshot
2002-07-01	Stefano Zacchiroli	bug fix: handled LetIn case in simpl	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom