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

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

2003-07-11	Claudio Sacerdoti...	Change to the DTD: Params is now a list of param with...	commit \| commitdiff \| tree
2003-07-11	Claudio Sacerdoti...	Params is now a list of Param.	commit \| commitdiff \| tree
2003-06-18	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2003-06-18	Claudio Sacerdoti...	Porting to the new "long-identifiers" editex lexer.	commit \| commitdiff \| tree
2003-06-11	Claudio Sacerdoti...	Multiple Prod branches did not have their inner-sorts...	commit \| commitdiff \| tree
2003-06-11	Claudio Sacerdoti...	Reindentation.	commit \| commitdiff \| tree
2003-06-10	Claudio Sacerdoti...	Added new target libraries.ps (and .dep.dot).	commit \| commitdiff \| tree
2003-06-03	Claudio Sacerdoti...	Added the new target $(PACKAGE).ps to draw the dependency...	commit \| commitdiff \| tree
2003-05-29	Claudio Sacerdoti...	1. minus binary operator added	commit \| commitdiff \| tree
2003-05-07	Claudio Sacerdoti...	New dictionary created to handle special syntax for...	commit \| commitdiff \| tree
2003-05-07	Claudio Sacerdoti...	Interface change: the get_as_string and set_term methods...	commit \| commitdiff \| tree
2003-05-06	Claudio Sacerdoti...	New: the user can now refine the proposed constraints...	commit \| commitdiff \| tree
2003-04-28	Claudio Sacerdoti...	freeze() & thaw() method put around "freeze() ; push...	commit \| commitdiff \| tree
2003-04-22	Claudio Sacerdoti...	New queries added:	commit \| commitdiff \| tree
2003-04-22	Claudio Sacerdoti...	The two lexers now raise CicTextualParser0.LexerFailure...	commit \| commitdiff \| tree
2003-04-17	Claudio Sacerdoti...	* "Invalid UWOBO Server" ==> "Untrusted UWOBO Server"	commit \| commitdiff \| tree
2003-04-17	Claudio Sacerdoti...	* topurl was re-declared and used with two different...	commit \| commitdiff \| tree
2003-04-16	Claudio Sacerdoti...	1. param.name=value parameters added to the getpage...	commit \| commitdiff \| tree
2003-04-16	Claudio Sacerdoti...	The processorURL parameter must now be instantiated...	commit \| commitdiff \| tree
2003-04-16	Claudio Sacerdoti...	* Hbugs interface clean-up.	commit \| commitdiff \| tree
2003-04-16	Claudio Sacerdoti...	* Removed several try .... with _ -> (which make thread...	commit \| commitdiff \| tree
2003-04-16	Claudio Sacerdoti...	Removed several try .... with _ -> (which make thread...	commit \| commitdiff \| tree
2003-04-10	Claudio Sacerdoti...	1) fromdos on any html/* file	commit \| commitdiff \| tree
2003-04-02	Claudio Sacerdoti...	We have a big architectural problem here: the Hbugs...	commit \| commitdiff \| tree
2003-04-02	Claudio Sacerdoti...	Underscore must be quted in TeX. Fixed.	commit \| commitdiff \| tree
2003-03-19	Claudio Sacerdoti...	I now register the gdome2-xslt call-back functions...	commit \| commitdiff \| tree
2003-03-19	Claudio Sacerdoti...	'{' and '}' are now considered as blanks	commit \| commitdiff \| tree
2003-03-18	Claudio Sacerdoti...	1. internal links fixed	commit \| commitdiff \| tree
2003-03-18	Claudio Sacerdoti...	NEW: manual added and linked to the interface.	commit \| commitdiff \| tree
2003-03-18	Claudio Sacerdoti...	Added an hyperlink to the on-line manual.	commit \| commitdiff \| tree
2003-03-18	Claudio Sacerdoti...	* New release of the client-side interface.	commit \| commitdiff \| tree
2003-03-18	Claudio Sacerdoti...	Ooopps. I forgot this one.	commit \| commitdiff \| tree
2003-03-18	Claudio Sacerdoti...	CVS repository fix: reversion of some lines (related...	commit \| commitdiff \| tree
2003-03-18	Claudio Sacerdoti...	Pending changes on the checked-out repository committed...	commit \| commitdiff \| tree
2003-03-18	Claudio Sacerdoti...	Pending changes in the checked-out repository committed...	commit \| commitdiff \| tree
2003-03-18	Claudio Sacerdoti...	Partial upgrade to the new disambiguating lexer/parser.	commit \| commitdiff \| tree
2003-03-14	Claudio Sacerdoti...	First committed version that (may) use the MathML editor...	commit \| commitdiff \| tree
2003-03-14	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2003-03-14	Claudio Sacerdoti...	First committed version of the textual parser able...	commit \| commitdiff \| tree
2003-03-14	Claudio Sacerdoti...	First commit towards more powerful disambiguation possibilit...	commit \| commitdiff \| tree
2003-03-14	Claudio Sacerdoti...	Comment fixed.	commit \| commitdiff \| tree
2003-03-12	Claudio Sacerdoti...	Bug introduced: the alias combo-box now accepts multiple...	commit \| commitdiff \| tree
2003-03-12	Claudio Sacerdoti...	A dialog box is now opened when Restart is pushed while...	commit \| commitdiff \| tree
2003-03-12	Claudio Sacerdoti...	Bug fixed: all the pages were not asked to the daemon...	commit \| commitdiff \| tree
2003-03-12	Claudio Sacerdoti...	Many changes in the client-side interfaces:	commit \| commitdiff \| tree
2003-03-10	Claudio Sacerdoti...	Big change: parenthesis can now be put in any place...	commit \| commitdiff \| tree
2003-02-05	Claudio Sacerdoti...	Makefile.common.in and .depend backtracked to my last...	commit \| commitdiff \| tree
2003-02-03	Claudio Sacerdoti...	Dependency simplification.	commit \| commitdiff \| tree
2003-02-03	Claudio Sacerdoti...	Minor module re-organization:	commit \| commitdiff \| tree
2003-01-31	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2003-01-31	Claudio Sacerdoti...	The scratch window is now based on the sequent_viewer...	commit \| commitdiff \| tree
2003-01-31	Claudio Sacerdoti...	Major module reorganization:	commit \| commitdiff \| tree
2003-01-30	Claudio Sacerdoti...	1. helmns and domImpl moved to the misc module ;-(	commit \| commitdiff \| tree
2003-01-30	Claudio Sacerdoti...	Minor code reorganization:	commit \| commitdiff \| tree
2003-01-29	Claudio Sacerdoti...	Tactics button rearranged.	commit \| commitdiff \| tree
2003-01-29	Claudio Sacerdoti...	Clear and ClearBody moved to the pop-up menu.	commit \| commitdiff \| tree
2003-01-29	Claudio Sacerdoti...	replace_lifting generalized to the simultaneous replacement...	commit \| commitdiff \| tree
2003-01-29	Claudio Sacerdoti...	ProofEngineHelpers.mk_fresh_name now used in place...	commit \| commitdiff \| tree
2003-01-29	Claudio Sacerdoti...	1. Added a callback to the generalize tactic to generate...	commit \| commitdiff \| tree
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
next

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

RSS Atom