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

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

2003-01-29	Claudio Sacerdoti...	Added a callback to the generalize tactic to generate...	commit \| commitdiff \| tree
2003-01-29	Claudio Sacerdoti...	Generalize now works on a list of convertible terms...	commit \| commitdiff \| tree
2003-01-29	Claudio Sacerdoti...	Generalize tactic moved to the contextual menu.	commit \| commitdiff \| tree
2003-01-29	Claudio Sacerdoti...	New: we now have a new pop-up menu for the reduction...	commit \| commitdiff \| tree
2003-01-29	Claudio Sacerdoti...	1. All the reduction tactics have been modified to...	commit \| commitdiff \| tree
2003-01-29	Claudio Sacerdoti...	All the reduction tactics have been modified to reduce...	commit \| commitdiff \| tree
2003-01-29	Claudio Sacerdoti...	Multiple selection is now enabled in the goal and check...	commit \| commitdiff \| tree
2003-01-29	Claudio Sacerdoti...	maction toggle restored	commit \| commitdiff \| tree
2003-01-29	Claudio Sacerdoti...	Optional callbacks have been added to tactics that...	commit \| commitdiff \| tree
2003-01-28	Claudio Sacerdoti...	Dead code removed.	commit \| commitdiff \| tree
2003-01-28	Claudio Sacerdoti...	Decompose now has a new parameter which is the callback...	commit \| commitdiff \| tree
2003-01-28	Claudio Sacerdoti...	Decompose now has a new parameter that is the callback...	commit \| commitdiff \| tree
2003-01-28	Claudio Sacerdoti...	Fixed. It was no more working since the move of the...	commit \| commitdiff \| tree
2003-01-21	Claudio Sacerdoti...	New module Disambiguate to hold:	commit \| commitdiff \| tree
2002-12-23	Claudio Sacerdoti...	Ambiguous parsing improved: refining is now used to...	commit \| commitdiff \| tree
2002-12-23	Claudio Sacerdoti...	Refine can now also raise Uncertain. The exception...	commit \| commitdiff \| tree
2002-12-23	Claudio Sacerdoti...	The interpretation function can now return also "Implicit".	commit \| commitdiff \| tree
2002-12-22	Claudio Sacerdoti...	New: refinement is now used to disambiguate parsing.	commit \| commitdiff \| tree
2002-12-22	Claudio Sacerdoti...	New constructs \x.T and !x.T introduced. They require...	commit \| commitdiff \| tree
2002-12-22	Claudio Sacerdoti...	* First implementation of CicRefine	commit \| commitdiff \| tree
2002-12-18	Claudio Sacerdoti...	"Insert Query (Experts only)" menu item added.	commit \| commitdiff \| tree
2002-12-13	Claudio Sacerdoti...	Added a special charcount threatment to the 'append...	commit \| commitdiff \| tree
2002-12-13	Claudio Sacerdoti...	Wrong commit undone.	commit \| commitdiff \| tree
2002-12-12	Claudio Sacerdoti...	Minor widget rearrangement.	commit \| commitdiff \| tree
2002-12-12	Claudio Sacerdoti...	notation "@" for append added	commit \| commitdiff \| tree
2002-12-11	Claudio Sacerdoti...	Severe bug fixed: the test failed in the case of (Rplus...	commit \| commitdiff \| tree
2002-12-11	Claudio Sacerdoti...	* Partial checking of mutual inductive definitions...	commit \| commitdiff \| tree
2002-12-11	Claudio Sacerdoti...	Unary minus now rendered without parentheses.	commit \| commitdiff \| tree
2002-12-10	Claudio Sacerdoti...	"Rewrite ... with ... by ..." line-breaking handled.	commit \| commitdiff \| tree
2002-12-10	Claudio Sacerdoti...	First experimental commit of the notation (partial...	commit \| commitdiff \| tree
2002-12-10	Claudio Sacerdoti...	Ring partially ported to the new library. But I am...	commit \| commitdiff \| tree
2002-12-10	Claudio Sacerdoti...	Bug fixed: beta-redex transformations to LetIn were...	commit \| commitdiff \| tree
2002-12-10	Claudio Sacerdoti...	cut & paste typo fixed	commit \| commitdiff \| tree
2002-12-10	Claudio Sacerdoti...	positive.xsl is now included in headercontent.xsl and...	commit \| commitdiff \| tree
2002-12-09	Claudio Sacerdoti...	* ElimSimplIntros replace by ElimIntrosSimpl. Simplification...	commit \| commitdiff \| tree
2002-12-09	Claudio Sacerdoti...	* New button "Select only constants" to choose the...	commit \| commitdiff \| tree
2002-12-09	Claudio Sacerdoti...	Simpl now handles let-in reductions as delta-reductions...	commit \| commitdiff \| tree
2002-12-06	Claudio Sacerdoti...	* mQueryLevel2.get_constraints now gives back only...	commit \| commitdiff \| tree
2002-12-06	Claudio Sacerdoti...	New notation for ListSet. It often raises ambiguity...	commit \| commitdiff \| tree
2002-12-06	Claudio Sacerdoti...	instantiate for inductive principles covered	commit \| commitdiff \| tree
2002-12-06	Claudio Sacerdoti...	Bug fixed in binary standard MathML Content operators...	commit \| commitdiff \| tree
2002-12-06	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2002-12-06	Claudio Sacerdoti...	The fresh_name generator has been moved to ProofEngineHelpers.	commit \| commitdiff \| tree
2002-12-06	Claudio Sacerdoti...	Comments removed.	commit \| commitdiff \| tree
2002-12-06	Claudio Sacerdoti...	Bug fixed: when iota-expanding fixpoints the context...	commit \| commitdiff \| tree
2002-12-06	Claudio Sacerdoti...	The user interface for the completeSearchPattern query...	commit \| commitdiff \| tree
2002-12-06	Claudio Sacerdoti...	1. depth constraints for Rels and Sorts are now optional	commit \| commitdiff \| tree
2002-12-06	Claudio Sacerdoti...	1. The depth constraint on Rels and Sorts is now optional.	commit \| commitdiff \| tree
2002-12-05	Claudio Sacerdoti...	A simplification bug was introduced during the clean...	commit \| commitdiff \| tree
2002-12-05	Claudio Sacerdoti...	Bug fixed: the lhs part of an explicit name substitution...	commit \| commitdiff \| tree
2002-12-05	Claudio Sacerdoti...	Minor bug fixes in the 'instantiate' element handling.	commit \| commitdiff \| tree
2002-12-04	Claudio Sacerdoti...	Showing a query result which was an inductive type...	commit \| commitdiff \| tree
2002-12-04	Claudio Sacerdoti...	Interface improvement: a window is opened to show objects...	commit \| commitdiff \| tree
2002-12-04	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2002-12-04	Claudio Sacerdoti...	New feature: the user can now enter the list of "must...	commit \| commitdiff \| tree
2002-12-04	Claudio Sacerdoti...	* mQueryLevels interface clean-up	commit \| commitdiff \| tree
2002-12-04	Claudio Sacerdoti...	Simplification euristic improved.	commit \| commitdiff \| tree
2002-12-04	Claudio Sacerdoti...	Completely broken parsing of Fix and CoFix fixed.	commit \| commitdiff \| tree
2002-12-04	Claudio Sacerdoti...	Several bug-fixes to the abstparam hell.	commit \| commitdiff \| tree
2002-12-04	Claudio Sacerdoti...	Variable redefined twice fixed.	commit \| commitdiff \| tree
2002-12-04	Claudio Sacerdoti...	Variable redefined twice fixed.	commit \| commitdiff \| tree
2002-12-04	Claudio Sacerdoti...	New tactic fold_simpl.	commit \| commitdiff \| tree
2002-12-04	Claudio Sacerdoti...	* fold_tac has now a new parameter, which is the reduction...	commit \| commitdiff \| tree
2002-12-03	Claudio Sacerdoti...	Typing of intros_tac improved. It now has a parameter...	commit \| commitdiff \| tree
2002-12-03	Claudio Sacerdoti...	Quick implementation of the "inst" csymbol. It can...	commit \| commitdiff \| tree
2002-12-03	Claudio Sacerdoti...	First working version of the possibility to introduce...	commit \| commitdiff \| tree
2002-12-03	Claudio Sacerdoti...	put_inductive_definition implemented and exposed.	commit \| commitdiff \| tree
2002-12-03	Claudio Sacerdoti...	typecheck_mutual_inductive_defs exposed.	commit \| commitdiff \| tree
2002-12-03	Claudio Sacerdoti...	An exception was raised when a MutInd or MutConstruct...	commit \| commitdiff \| tree
2002-12-03	Claudio Sacerdoti...	m:exist ==> m:exists	commit \| commitdiff \| tree
2002-12-02	Claudio Sacerdoti...	First implementation of the new generalized SearchPattern...	commit \| commitdiff \| tree
2002-12-02	Claudio Sacerdoti...	Brand new implementation based on functors taking a...	commit \| commitdiff \| tree
2002-11-28	Claudio Sacerdoti...	* iff notation added (new csymbol)	commit \| commitdiff \| tree
2002-11-27	Claudio Sacerdoti...	lazily ==> call_by_name (since it is really a call_by_name!)	commit \| commitdiff \| tree
2002-11-27	Claudio Sacerdoti...	* The new query language (now broken) works only on...	commit \| commitdiff \| tree
2002-11-26	Claudio Sacerdoti...	&CSCbr; replaced with to make libxslt stop complaining.	commit \| commitdiff \| tree
2002-11-21	Claudio Sacerdoti...	WARNING!!!	commit \| commitdiff \| tree
2002-11-21	Claudio Sacerdoti...	Some stylesheets are now generated with Di Lena's meta_style.	commit \| commitdiff \| tree
2002-11-19	Claudio Sacerdoti...	~ask_dtd_to_the_getter parameter added to Cic2Xml.print_inne...	commit \| commitdiff \| tree
2002-11-19	Claudio Sacerdoti...	Param ~ask_dtd_to_the_getter added to Cic2Xml.print_object.	commit \| commitdiff \| tree
2002-11-19	Claudio Sacerdoti...	Big change: Qed saves the theorem/definition and registers...	commit \| commitdiff \| tree
2002-11-19	Claudio Sacerdoti...	innertypesuri_of_uri implemented	commit \| commitdiff \| tree
2002-11-18	Claudio Sacerdoti...	Interface improvement (???): the Check button has been...	commit \| commitdiff \| tree
2002-11-18	Claudio Sacerdoti...	Small interface improvement: the menu is now in an...	commit \| commitdiff \| tree
2002-11-18	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2002-11-18	Claudio Sacerdoti...	Interface improvement:	commit \| commitdiff \| tree
2002-11-18	Claudio Sacerdoti...	Code clean-up: the widget in the lower-left corner...	commit \| commitdiff \| tree
2002-11-18	Claudio Sacerdoti...	Aliases definition removed from the CIC textual parser.	commit \| commitdiff \| tree
2002-11-18	Claudio Sacerdoti...	Aliases definition removed from the	commit \| commitdiff \| tree
2002-11-18	Claudio Sacerdoti...	Inteface improvement: the "Edit Aliases..." menu entry...	commit \| commitdiff \| tree
2002-11-18	Claudio Sacerdoti...	Major interface improvements.	commit \| commitdiff \| tree
2002-11-18	Claudio Sacerdoti...	Rendering of InductiveDefinitions, Variables and Axioms...	commit \| commitdiff \| tree
2002-11-18	Claudio Sacerdoti...	URLs_or_URIs param added to choose if the xlink:href...	commit \| commitdiff \| tree
2002-11-18	Claudio Sacerdoti...	Identifier added to inductiveType in the DTD.	commit \| commitdiff \| tree
2002-11-18	Claudio Sacerdoti...	IllFormedUri exception now exported.	commit \| commitdiff \| tree
2002-11-15	Claudio Sacerdoti...	Order of the generated metavariables for apply fixed...	commit \| commitdiff \| tree
2002-11-15	Claudio Sacerdoti...	Comments improved.	commit \| commitdiff \| tree
2002-11-15	Claudio Sacerdoti...	Bug fixed: conjectures were printed in the wrong order.	commit \| commitdiff \| tree
2002-11-15	Claudio Sacerdoti...	Metasenv partially checked.	commit \| commitdiff \| tree
2002-11-15	Claudio Sacerdoti...	* Bug fixed: a real empty page is now really used for...	commit \| commitdiff \| tree
next

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

RSS Atom