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

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

2004-05-19	Claudio Sacerdoti...	Tempative version: every link is now opened in a new...	commit \| commitdiff \| tree
2004-05-19	Claudio Sacerdoti...	Bug fixed: middle-clicking over links in the listing...	commit \| commitdiff \| tree
2004-05-19	Claudio Sacerdoti...	Tempative version: every link is now opened in a new...	commit \| commitdiff \| tree
2004-05-18	Claudio Sacerdoti...	* the input of the function mkMetaTheoryURL must an...	commit \| commitdiff \| tree
2004-05-18	Claudio Sacerdoti...	* the URI passed to the rdfly deamon is now CICURI...	commit \| commitdiff \| tree
2004-05-18	Claudio Sacerdoti...	* [Luca] string concatenation now made using String...	commit \| commitdiff \| tree
2004-05-18	Claudio Sacerdoti...	xml:base and helm:base are now generated only for theories.	commit \| commitdiff \| tree
2004-05-18	Claudio Sacerdoti...	* tactics/Makefile fixed (to remove duplicate .mli...	commit \| commitdiff \| tree
2004-05-18	Claudio Sacerdoti...	Bug fixed: the xml:base URL and helm:base URI were...	commit \| commitdiff \| tree
2004-04-23	Claudio Sacerdoti...	gt URL pointed to lt	commit \| commitdiff \| tree
2004-04-23	Claudio Sacerdoti...	rdfly hardcoded URL changed from mowgli.cs.unibo.it...	commit \| commitdiff \| tree
2004-04-22	Claudio Sacerdoti...	expandasking parameter passed to UWOBO.	commit \| commitdiff \| tree
2004-04-22	Claudio Sacerdoti...	mysql_connection.* keys added	commit \| commitdiff \| tree
2004-04-22	Claudio Sacerdoti...	mathql_interpreter.mysql_connection.* keys added.	commit \| commitdiff \| tree
2004-04-22	Claudio Sacerdoti...	Patches to generate ?1 : ?2 : Type in place of ?1 ...	commit \| commitdiff \| tree
2004-04-22	Claudio Sacerdoti...	IMPLEMENTATION_FILES now generated from INTERFACE_FILES.	commit \| commitdiff \| tree
2004-04-16	Claudio Sacerdoti...	test_equality_only was not used in sort comparison.	commit \| commitdiff \| tree
2004-04-14	Claudio Sacerdoti...	Bug fixed: the following happened.	commit \| commitdiff \| tree
2004-04-07	Claudio Sacerdoti...	Added flag test_equality_only to are_convertible to...	commit \| commitdiff \| tree
2004-04-07	Claudio Sacerdoti...	Added flag test_equality_only to are_convertible (to...	commit \| commitdiff \| tree
2004-04-05	Claudio Sacerdoti...	http_getter.conf.xml ==> /projects/helm/etc/http_getter...	commit \| commitdiff \| tree
2004-04-05	Claudio Sacerdoti...	URL patching in ENTITY declarations extended to cover...	commit \| commitdiff \| tree
2004-04-05	Claudio Sacerdoti...	XHTML character entities (used in the internal subset...	commit \| commitdiff \| tree
2004-04-04	Claudio Sacerdoti...	ht:DEFINITION/Definition differentiated into	commit \| commitdiff \| tree
2004-04-01	Claudio Sacerdoti...	<VARIABLE as="LocalFact"/> added	commit \| commitdiff \| tree
2004-03-30	Claudio Sacerdoti...	- provastruct.theory.xml removed (what was that exactly?)	commit \| commitdiff \| tree
2004-03-26	Claudio Sacerdoti...	Algebra => CoRN	commit \| commitdiff \| tree
2004-03-26	Claudio Sacerdoti...	tex notation enabled	commit \| commitdiff \| tree
2004-03-22	Claudio Sacerdoti...	load_document(_,NULL) => unload	commit \| commitdiff \| tree
2004-03-22	Claudio Sacerdoti...	- power notation	commit \| commitdiff \| tree
2004-03-22	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2004-03-17	Claudio Sacerdoti...	Bug fixed for theorems whose statement are like	commit \| commitdiff \| tree
2004-03-10	Claudio Sacerdoti...	interpretation_choices not declared	commit \| commitdiff \| tree
2004-03-09	Claudio Sacerdoti...	escape/unescape no longer works with '+';	commit \| commitdiff \| tree
2004-03-09	Claudio Sacerdoti...	Parameter forgot.	commit \| commitdiff \| tree
2004-03-09	Claudio Sacerdoti...	Partially ported to new disambiguating parser.	commit \| commitdiff \| tree
2004-03-09	Claudio Sacerdoti...	Debug code removed.	commit \| commitdiff \| tree
2004-03-09	Claudio Sacerdoti...	Dead code removed.	commit \| commitdiff \| tree
2004-03-09	Claudio Sacerdoti...	- non empty metasenv after the parsing phase are now...	commit \| commitdiff \| tree
2004-03-09	Claudio Sacerdoti...	Bug fixed: instead of generating "not ()", I generate...	commit \| commitdiff \| tree
2004-03-09	Claudio Sacerdoti...	Meta no longer raise a failure. Instead they return...	commit \| commitdiff \| tree
2004-03-08	Claudio Sacerdoti...	- reindented	commit \| commitdiff \| tree
2004-03-08	Claudio Sacerdoti...	Disambiguation can now return more than one choice.	commit \| commitdiff \| tree
2004-03-05	Claudio Sacerdoti...	Quick & dirty patch to overcome a bug of ocamlfind.	commit \| commitdiff \| tree
2004-03-05	Claudio Sacerdoti...	Added option -timeout. Default is 5s.	commit \| commitdiff \| tree
2004-03-05	Claudio Sacerdoti...	\Assign and \subst to match the parser.	commit \| commitdiff \| tree
2004-03-05	Claudio Sacerdoti...	MutCase branches must be parsed and printed using ...	commit \| commitdiff \| tree
2004-03-05	Claudio Sacerdoti...	Branch of MutCase must be parsed and printed using...	commit \| commitdiff \| tree
2004-03-05	Claudio Sacerdoti...	Debugging message removed.	commit \| commitdiff \| tree
2004-03-05	Claudio Sacerdoti...	apply_subst did not apply the substitution to the explicit...	commit \| commitdiff \| tree
2004-03-05	Claudio Sacerdoti...	Refine now raises only RefineFailure, AssertFailure...	commit \| commitdiff \| tree
2004-03-05	Claudio Sacerdoti...	Wrong error message patched.	commit \| commitdiff \| tree
2004-03-05	Claudio Sacerdoti...	List.nth not guarded by try ... with. Fixed.	commit \| commitdiff \| tree
2004-03-05	Claudio Sacerdoti...	Debugging code removed.	commit \| commitdiff \| tree
2004-03-05	Claudio Sacerdoti...	HelmLogger logging function connected to MathQL Interpreter...	commit \| commitdiff \| tree
2004-03-05	Claudio Sacerdoti...	Syntax of explicit named substitions syncronized with...	commit \| commitdiff \| tree
2004-03-02	Claudio Sacerdoti...	Yet another error in the id regexp: numbers are allowed...	commit \| commitdiff \| tree
2004-03-02	Claudio Sacerdoti...	Bug in guarded_by_destructors (case Rel to a definition...	commit \| commitdiff \| tree
2004-03-02	Claudio Sacerdoti...	Big bug fixed: batchParser applied the varsprefix prefix...	commit \| commitdiff \| tree
2004-03-02	Claudio Sacerdoti...	Improved output when [ MANY ] occurs.	commit \| commitdiff \| tree
2004-03-02	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2004-03-02	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2004-03-02	Claudio Sacerdoti...	- Improved error messaging.	commit \| commitdiff \| tree
2004-03-02	Claudio Sacerdoti...	The regression tests now check also the generated disambigua...	commit \| commitdiff \| tree
2004-03-02	Claudio Sacerdoti...	Regtest fixed. It can now work also with multiple answers.	commit \| commitdiff \| tree
2004-03-02	Claudio Sacerdoti...	The disambiguation now returns a list of interpretations.	commit \| commitdiff \| tree
2004-03-02	Claudio Sacerdoti...	The disambiguation now returns a list of interpretations.	commit \| commitdiff \| tree
2004-02-26	Claudio Sacerdoti...	Error message fixed.	commit \| commitdiff \| tree
2004-02-26	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2004-02-26	Claudio Sacerdoti...	triciclo.conf.xml ==> gTopLevel.conf.xml	commit \| commitdiff \| tree
2004-02-26	Claudio Sacerdoti...	Added () to MQInit.init.	commit \| commitdiff \| tree
2004-02-26	Claudio Sacerdoti...	New implementation of eat_prods. Some residual problems...	commit \| commitdiff \| tree
2004-02-26	Claudio Sacerdoti...	New implementation of eat_prods.	commit \| commitdiff \| tree
2004-02-26	Claudio Sacerdoti...	Bug fixed: names of just one character were not inserted...	commit \| commitdiff \| tree
2004-02-26	Claudio Sacerdoti...	One MQInterpreter commit broke regtest.ml. Fixed.	commit \| commitdiff \| tree
2004-02-26	Claudio Sacerdoti...	Optimization: since an invariant says that the inferred...	commit \| commitdiff \| tree
2004-02-26	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2004-02-26	Claudio Sacerdoti...	eqT removed.	commit \| commitdiff \| tree
2004-02-25	Claudio Sacerdoti...	Variable redefined. Fixed.	commit \| commitdiff \| tree
2004-02-24	Claudio Sacerdoti...	New v8.0 URIs.	commit \| commitdiff \| tree
2004-02-24	Claudio Sacerdoti...	More uris ported to V8.0.	commit \| commitdiff \| tree
2004-02-24	Claudio Sacerdoti...	More V8.0 uris.	commit \| commitdiff \| tree
2004-02-24	Claudio Sacerdoti...	More v8.0 URIs.	commit \| commitdiff \| tree
2004-02-24	Claudio Sacerdoti...	Porting URIs to V8.0.	commit \| commitdiff \| tree
2004-02-24	Claudio Sacerdoti...	Partial porting to V8 URIs.	commit \| commitdiff \| tree
2004-02-24	Claudio Sacerdoti...	Porting to MySql.	commit \| commitdiff \| tree
2004-02-24	Claudio Sacerdoti...	MySQL is case sensitive.	commit \| commitdiff \| tree
2004-02-24	Claudio Sacerdoti...	Quick patch to make everything work with MySql.	commit \| commitdiff \| tree
2004-02-24	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2004-02-24	Claudio Sacerdoti...	- Targets reorganized	commit \| commitdiff \| tree
2004-02-24	Claudio Sacerdoti...	Added parameter format=text\|xml to getalluris.	commit \| commitdiff \| tree
2004-02-23	Claudio Sacerdoti...	A lazy value was put in place of a function ==> the...	commit \| commitdiff \| tree
2004-02-23	Claudio Sacerdoti...	"add_server?position=0" no longer worked (raised an...	commit \| commitdiff \| tree
2004-02-23	Claudio Sacerdoti...	No longer in use.	commit \| commitdiff \| tree
2004-02-23	Claudio Sacerdoti...	Script to create and drop tables and indexes committed.	commit \| commitdiff \| tree
2004-02-23	Claudio Sacerdoti...	-memory leaks fixed	commit \| commitdiff \| tree
2004-02-23	Claudio Sacerdoti...	The metadata extractor now generates also	commit \| commitdiff \| tree
2004-02-23	Claudio Sacerdoti...	New framework for metadata generation.	commit \| commitdiff \| tree
2004-02-23	Claudio Sacerdoti...	(Very)* Old stuff removed.	commit \| commitdiff \| tree
2004-02-23	Claudio Sacerdoti...	Bug fix: the generated XML for DCs was not well-formed.	commit \| commitdiff \| tree
next

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

RSS Atom