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

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

2003-02-04	Claudio Sacerdoti...	print_endline ==> prerr_endline	commit \| commitdiff \| tree
2003-02-04	Claudio Sacerdoti...	Bug fixed: ' must be quoted.	commit \| commitdiff \| tree
2003-02-04	Claudio Sacerdoti...	Bug fixed: "'" must be quoted.	commit \| commitdiff \| tree
2003-02-03	Claudio Sacerdoti...	What was the semantics of passing an empty prop.encoding?	commit \| commitdiff \| tree
2003-01-22	Claudio Sacerdoti...	method HTML forced for html output	commit \| commitdiff \| tree
2003-01-07	Claudio Sacerdoti...	Resolve fixed: when an URI was well-formed but not...	commit \| commitdiff \| tree
2002-12-12	Claudio Sacerdoti...	INDEXEs on hrefRel and hrefSort added.	commit \| commitdiff \| tree
2002-12-06	Claudio Sacerdoti...	* bug fixed: the property construct did not sort and...	commit \| commitdiff \| tree
2002-12-03	Claudio Sacerdoti...	m:exist ==> m:exists	commit \| commitdiff \| tree
2002-11-21	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2002-11-21	Claudio Sacerdoti...	First version of the stuff to create the DB.	commit \| commitdiff \| tree
2002-11-21	Claudio Sacerdoti...	The notational stylesheets from CIC to MathML Content...	commit \| commitdiff \| tree
2002-11-21	Claudio Sacerdoti...	First version of Di Lena's stylesheet generator (for...	commit \| commitdiff \| tree
2002-11-21	Claudio Sacerdoti...	typo fixed	commit \| commitdiff \| tree
2002-11-21	Claudio Sacerdoti...	*.yy.c removed	commit \| commitdiff \| tree
2002-11-21	Claudio Sacerdoti...	.rdf ==> .xml	commit \| commitdiff \| tree
2002-11-21	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2002-11-21	Claudio Sacerdoti...	<h:Object> is now repeated every time a MainHypothesis...	commit \| commitdiff \| tree
2002-11-20	Claudio Sacerdoti...	Bug fixed: refSort were exported (as refObj) also when...	commit \| commitdiff \| tree
2002-11-20	Claudio Sacerdoti...	rdf:parseType="Resource" added to backPointer	commit \| commitdiff \| tree
2002-11-20	Claudio Sacerdoti...	* New metadata for refSort and refRel	commit \| commitdiff \| tree
2002-11-20	Claudio Sacerdoti...	<h:depth> must precede <h:occurrence> (to make metadata...	commit \| commitdiff \| tree
2002-11-20	Claudio Sacerdoti...	Debug code removed.	commit \| commitdiff \| tree
2002-11-05	Claudio Sacerdoti...	first commit	commit \| commitdiff \| tree
2002-10-31	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2002-10-31	Claudio Sacerdoti...	Comments removed.	commit \| commitdiff \| tree
2002-10-31	Claudio Sacerdoti...	Quotes problem fixed.	commit \| commitdiff \| tree
2002-10-31	Claudio Sacerdoti...	New version of the library added.	commit \| commitdiff \| tree
2002-10-29	Claudio Sacerdoti...	xmlns:h namespace "fixed"	commit \| commitdiff \| tree
2002-10-29	Claudio Sacerdoti...	New version for the new DTD.	commit \| commitdiff \| tree
2002-10-25	Claudio Sacerdoti...	proof-checker ported to the mowgli version	commit \| commitdiff \| tree
2002-10-25	Claudio Sacerdoti...	Proof-checker ported to the mowgli version.	commit \| commitdiff \| tree
2002-10-25	Claudio Sacerdoti...	Better configuration management.	commit \| commitdiff \| tree
2002-10-24	Claudio Sacerdoti...	Bug fixed: I don't know what the bug was exactly, but...	commit \| commitdiff \| tree
2002-10-22	Claudio Sacerdoti...	Bug ``fixed'': we do not need to apply sym_eqT since...	commit \| commitdiff \| tree
2002-10-22	Claudio Sacerdoti...	- matql_interpreter_galax branch removed once and for...	commit \| commitdiff \| tree
2002-10-22	Claudio Sacerdoti...	The two interpreters are now both in mathql_interpreter...	commit \| commitdiff \| tree
2002-10-21	Claudio Sacerdoti...	No more useful	commit \| commitdiff \| tree
2002-10-16	Claudio Sacerdoti...	- write_tac fixed (the list of new goals was empty)	commit \| commitdiff \| tree
2002-10-14	Claudio Sacerdoti...	A tough test for rewrite.	commit \| commitdiff \| tree
2002-10-14	Claudio Sacerdoti...	- bug fixed: some liftings were missing in the implementatio...	commit \| commitdiff \| tree
2002-10-11	Claudio Sacerdoti...	- rewrite extended to handle rewritings with eqT	commit \| commitdiff \| tree
2002-10-11	Claudio Sacerdoti...	Trivial bug in equality_replace fixed: an exception...	commit \| commitdiff \| tree
2002-10-11	Claudio Sacerdoti...	New tactic rewrite implemented.	commit \| commitdiff \| tree
2002-10-11	Claudio Sacerdoti...	- idtac used for debugging removed	commit \| commitdiff \| tree
2002-10-10	Claudio Sacerdoti...	Handling of the splitting of constants into body +...	commit \| commitdiff \| tree
2002-10-10	Claudio Sacerdoti...	Handling of the splitting of constants in body + type.	commit \| commitdiff \| tree
2002-10-10	Claudio Sacerdoti...	HTTP_GETTER_PORT environment variable added	commit \| commitdiff \| tree
2002-10-09	Claudio Sacerdoti...	Several bug-fixes:	commit \| commitdiff \| tree
2002-10-09	Claudio Sacerdoti...	Pretty-printing of MUTIND and MUTCONSTRUCT with crazy...	commit \| commitdiff \| tree
2002-10-09	Claudio Sacerdoti...	added bootmisc and tomcat scripts	commit \| commitdiff \| tree
2002-10-08	Claudio Sacerdoti...	Web-services ordered by port number.	commit \| commitdiff \| tree
2002-10-08	Claudio Sacerdoti...	DRAW_GRAPH_PORT environment variable added	commit \| commitdiff \| tree
2002-10-08	Claudio Sacerdoti...	URI_SET_QUEUE_PORT and DRAW_GRAPH_PORT added	commit \| commitdiff \| tree
2002-10-08	Claudio Sacerdoti...	Default ports changed.	commit \| commitdiff \| tree
2002-10-08	Claudio Sacerdoti...	URI_SET_QUEUE_PORT environment variable added	commit \| commitdiff \| tree
2002-10-08	Claudio Sacerdoti...	proofcheckerURL configuration parameter added	commit \| commitdiff \| tree
2002-10-08	Claudio Sacerdoti...	proofcheckerURL param added	commit \| commitdiff \| tree
2002-10-07	Claudio Sacerdoti...	- The Getter and UWOBO moved to mowgli.	commit \| commitdiff \| tree
2002-10-07	Claudio Sacerdoti...	- New environment variables set.	commit \| commitdiff \| tree
2002-10-07	Claudio Sacerdoti...	Initial revision	commit \| commitdiff \| tree
2002-10-07	Claudio Sacerdoti...	HTTP_GETTER_DTD_BASE_DIR configuration parameter added	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
2002-07-29	Claudio Sacerdoti...	Updated to use the new parser that creates (stacks...	commit \| commitdiff \| tree
2002-07-22	Claudio Sacerdoti...	Many improvements in tactics (and tactical) representation:	commit \| commitdiff \| tree
2002-07-22	Claudio Sacerdoti...	First version of hxsp (new version of UWOBO implemented...	commit \| commitdiff \| tree
2002-07-01	Claudio Sacerdoti...	Invariant description added.	commit \| commitdiff \| tree
2002-07-01	Claudio Sacerdoti...	Bug fixed: there is an invariant that every attributed...	commit \| commitdiff \| tree
2002-06-25	Claudio Sacerdoti...	Wrong xpointers generated. Fixed.	commit \| commitdiff \| tree
2002-06-25	Claudio Sacerdoti...	Locate query changed again. There is a mismatch between...	commit \| commitdiff \| tree
2002-06-24	Claudio Sacerdoti...	class parameter added to the getallrdfuris method.	commit \| commitdiff \| tree
2002-06-24	Claudio Sacerdoti...	Bug fixed: empty elements did not ask for the size...	commit \| commitdiff \| tree
2002-06-19	Claudio Sacerdoti...	piecewise ==> m:piecewise	commit \| commitdiff \| tree
2002-06-19	Claudio Sacerdoti...	* empty log message *	commit \| commitdiff \| tree
2002-06-19	Claudio Sacerdoti...	Bug fixed: a sort not in normal form can now also be...	commit \| commitdiff \| tree
2002-06-19	Claudio Sacerdoti...	Coscoy double inner types now available also for Meta...	commit \| commitdiff \| tree
2002-06-18	Claudio Sacerdoti...	Inner-types a la Coscoy now correctly generated even...	commit \| commitdiff \| tree
2002-06-18	Claudio Sacerdoti...	Conversion rules are now correctly handled also for...	commit \| commitdiff \| tree
2002-06-18	Claudio Sacerdoti...	Benchmarcking informations output.	commit \| commitdiff \| tree
2002-06-18	Claudio Sacerdoti...	New query implementation using LetIn.	commit \| commitdiff \| tree
2002-06-13	Claudio Sacerdoti...	Names of some constructors changed.	commit \| commitdiff \| tree
2002-06-12	Claudio Sacerdoti...	* syntax error fixed	commit \| commitdiff \| tree
2002-06-12	Claudio Sacerdoti...	* Abst removed from the DTD	commit \| commitdiff \| tree
2002-06-12	Claudio Sacerdoti...	* Abst removed from the DTD	commit \| commitdiff \| tree
2002-06-12	Claudio Sacerdoti...	* double inner types (in the sense of Coscoy) handled...	commit \| commitdiff \| tree
2002-06-12	Claudio Sacerdoti...	* Abst removed from the DTD	commit \| commitdiff \| tree
2002-06-12	Claudio Sacerdoti...	Abst removed from the DTD.	commit \| commitdiff \| tree
2002-06-11	Claudio Sacerdoti...	New: expected types (in the sense of Yann Coscoy) now...	commit \| commitdiff \| tree
2002-06-11	Claudio Sacerdoti...	New: expected types (in the sense of Yann Coscoy) are...	commit \| commitdiff \| tree
2002-06-10	Claudio Sacerdoti...	* doubleTypeInference.ml* added. For now, it just computes...	commit \| commitdiff \| tree
next

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

RSS Atom