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

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

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
2002-11-15	Claudio Sacerdoti...	Residual interface bug fixes: no sequent page is now...	commit \| commitdiff \| tree
2002-11-15	Claudio Sacerdoti...	Small interface improvement: the first goal page is...	commit \| commitdiff \| tree
2002-11-15	Claudio Sacerdoti...	Small interface improvements.	commit \| commitdiff \| tree
2002-11-14	Claudio Sacerdoti...	Other small improvements to the general window layout.	commit \| commitdiff \| tree
2002-11-14	Claudio Sacerdoti...	Default for the reduction moved to CicReductionMachine.	commit \| commitdiff \| tree
2002-11-14	Claudio Sacerdoti...	Small interface improvement: selecting something in...	commit \| commitdiff \| tree
2002-11-14	Claudio Sacerdoti...	Interface improvement:	commit \| commitdiff \| tree
2002-11-13	Claudio Sacerdoti...	Interface improvements: the window to disambiguate...	commit \| commitdiff \| tree
2002-11-12	Claudio Sacerdoti...	A frame now surrounds the XMHTML widget.	commit \| commitdiff \| tree
2002-11-12	Claudio Sacerdoti...	Heavy restyling of the interface.	commit \| commitdiff \| tree
2002-11-06	Claudio Sacerdoti...	- big interface changes: open goals are now collected...	commit \| commitdiff \| tree
2002-11-05	Claudio Sacerdoti...	mathql_interpreter_galax removed	commit \| commitdiff \| tree
2002-11-04	Claudio Sacerdoti...	Quick fix to view metadata theories again. The case...	commit \| commitdiff \| tree
2002-11-04	Claudio Sacerdoti...	nameObject ==> objectName	commit \| commitdiff \| tree
2002-11-04	Claudio Sacerdoti...	The reduction tactics are now shared between ReductionTactic...	commit \| commitdiff \| tree
2002-11-04	Claudio Sacerdoti...	The fold tactic of proofEngine now uses ReductionTactics...	commit \| commitdiff \| tree
2002-11-04	Claudio Sacerdoti...	- Comments updated	commit \| commitdiff \| tree
2002-11-04	Claudio Sacerdoti...	- synchronization with the main branch	commit \| commitdiff \| tree
2002-11-04	Claudio Sacerdoti...	- porting to the new theory with explicit named substitution...	commit \| commitdiff \| tree
2002-11-04	Claudio Sacerdoti...	- new fold tactic	commit \| commitdiff \| tree
2002-11-04	Claudio Sacerdoti...	- new CicTextualParser	commit \| commitdiff \| tree
2002-11-04	Claudio Sacerdoti...	New CicTextualParser: it now returns (approximately...	commit \| commitdiff \| tree
2002-10-31	Claudio Sacerdoti...	Several bug-fixes:	commit \| commitdiff \| tree
2002-10-31	Claudio Sacerdoti...	Bug fixed: the declared number of new goals of Apply...	commit \| commitdiff \| tree
2002-10-31	Claudio Sacerdoti...	Better layout of the buttons.	commit \| commitdiff \| tree
2002-10-31	Claudio Sacerdoti...	- ElimIntrosSimpl now implemented using tacticals....	commit \| commitdiff \| tree
2002-10-31	Claudio Sacerdoti...	explicit namd substitutions introduced	commit \| commitdiff \| tree
2002-10-31	Claudio Sacerdoti...	New euristich for the unification: convertible terms...	commit \| commitdiff \| tree
2002-10-31	Claudio Sacerdoti...	Metadata DTD changed.	commit \| commitdiff \| tree
2002-10-31	Claudio Sacerdoti...	Porting to the new metadata DTD.	commit \| commitdiff \| tree
2002-10-30	Claudio Sacerdoti...	Undo of the previous commit (that was a mistake).	commit \| commitdiff \| tree
2002-10-30	Claudio Sacerdoti...	Bug fixed in reduction/simplification of explicit named...	commit \| commitdiff \| tree
2002-10-30	Claudio Sacerdoti...	Dead code removal.	commit \| commitdiff \| tree
2002-10-30	Claudio Sacerdoti...	Minor interface improvement.	commit \| commitdiff \| tree
2002-10-30	Claudio Sacerdoti...	- (Partial) porting to the new theory with explicit...	commit \| commitdiff \| tree
2002-10-30	Claudio Sacerdoti...	Better implementation of the trusting machinery: some...	commit \| commitdiff \| tree
2002-10-30	Claudio Sacerdoti...	Merging of the modifications of Lorenzo on the main...	commit \| commitdiff \| tree
2002-10-29	Claudio Sacerdoti...	Bugs fixed: unification were not really explicit-named...	commit \| commitdiff \| tree
2002-10-28	Claudio Sacerdoti...	Variables can also be instantiated.	commit \| commitdiff \| tree
2002-10-28	Claudio Sacerdoti...	- cicParser interface changed	commit \| commitdiff \| tree
2002-10-28	Claudio Sacerdoti...	- metasenv is now checked	commit \| commitdiff \| tree
2002-10-28	Claudio Sacerdoti...	- parser improved: constant uris and variable uris...	commit \| commitdiff \| tree
2002-10-28	Claudio Sacerdoti...	- cicParser interface simplified	commit \| commitdiff \| tree
2002-10-28	Claudio Sacerdoti...	- for/of attribute no more checked ;-(	commit \| commitdiff \| tree
2002-10-25	Claudio Sacerdoti...	New attribute @params for variables.	commit \| commitdiff \| tree
2002-10-25	Claudio Sacerdoti...	The fact that an object is trusted is now logged.	commit \| commitdiff \| tree
2002-10-25	Claudio Sacerdoti...	Cooking is no more required. Now we have explicit named...	commit \| commitdiff \| tree
2002-10-25	Claudio Sacerdoti...	cicCooking.ml* forgot in the previous commit	commit \| commitdiff \| tree
2002-10-25	Claudio Sacerdoti...	- Porting of all the code to the new DTD format (with...	commit \| commitdiff \| tree
2002-10-23	Claudio Sacerdoti...	When printing the body of a constant, the type is also...	commit \| commitdiff \| tree
2002-10-09	Claudio Sacerdoti...	Synchronization with the main branch: proofcheckerURL...	commit \| commitdiff \| tree
2002-10-09	Claudio Sacerdoti...	New DTD for the new exportation module.	commit \| commitdiff \| tree
2002-09-27	Claudio Sacerdoti...	Better handling of queries. Now both the locate and...	commit \| commitdiff \| tree
2002-09-20	Claudio Sacerdoti...	change code moved to change_tac (functional version...	commit \| commitdiff \| tree
2002-09-18	Claudio Sacerdoti...	Small code improvement.	commit \| commitdiff \| tree
2002-09-16	Claudio Sacerdoti...	List of tactics implemented and to implement (italian...	commit \| commitdiff \| tree
2002-09-13	Claudio Sacerdoti...	ring.ml* splitted into ring.ml* and tacticals.ml*	commit \| commitdiff \| tree
2002-09-13	Claudio Sacerdoti...	then_ tactical implemented (equivalent to the tclTHEN...	commit \| commitdiff \| tree
2002-09-09	Claudio Sacerdoti...	When locate is used during the lexing phase, it may...	commit \| commitdiff \| tree
2002-09-09	Claudio Sacerdoti...	Patch applied to the locate query: when used to retrieve...	commit \| commitdiff \| tree
2002-09-04	Claudio Sacerdoti...	The parser (the lexer indeed) now use the locate query...	commit \| commitdiff \| tree
2002-08-27	Claudio Sacerdoti...	Interface file created. Missing from previous commit.	commit \| commitdiff \| tree
2002-07-29	Claudio Sacerdoti...	Updated to use the new parser that creates (stacks...	commit \| commitdiff \| tree
next

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

RSS Atom