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

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

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
2004-02-23	Claudio Sacerdoti...	kind=dc implemented.	commit \| commitdiff \| tree
2004-02-20	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2004-02-20	Claudio Sacerdoti...	Quick patch to use rdfly (URL hard-coded everywhere).	commit \| commitdiff \| tree
2004-02-20	Claudio Sacerdoti...	Ported to	commit \| commitdiff \| tree
2004-02-20	Claudio Sacerdoti...	A brand new daemon: rdfly.	commit \| commitdiff \| tree
2004-02-18	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2004-02-18	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2004-02-18	Claudio Sacerdoti...	uwobo ==> uwobo.opt	commit \| commitdiff \| tree
2004-02-18	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2004-02-18	Claudio Sacerdoti...	Stuff moved around.	commit \| commitdiff \| tree
2004-02-18	Claudio Sacerdoti...	ENVSCRIPT and mathql_db_map.txt no longer in use.	commit \| commitdiff \| tree
2004-02-18	Claudio Sacerdoti...	Removed stuff no longer in use.	commit \| commitdiff \| tree
2004-02-18	Claudio Sacerdoti...	helm_registry is already in due to transitive dependencies	commit \| commitdiff \| tree
2004-02-18	Claudio Sacerdoti...	The order IS significative. Changing the order (in...	commit \| commitdiff \| tree
2004-02-18	Claudio Sacerdoti...	typo fixed. Used to break the ls method.	commit \| commitdiff \| tree
2004-02-18	Claudio Sacerdoti...	Bug fixed: Helm_registry was used not enough lazily...	commit \| commitdiff \| tree
2004-02-17	Claudio Sacerdoti...	68080 (that overflows ; -) ==> 38080	commit \| commitdiff \| tree
2004-02-17	Claudio Sacerdoti...	New key postgresql_connection_string.	commit \| commitdiff \| tree
2004-02-17	Claudio Sacerdoti...	New key mathql_interpreter.postgresql_connection_string.	commit \| commitdiff \| tree
2004-02-17	Claudio Sacerdoti...	The PostgreSQL connection string has been moved to...	commit \| commitdiff \| tree
2004-02-17	Claudio Sacerdoti...	Other stuff no longer used removed.	commit \| commitdiff \| tree
2004-02-17	Claudio Sacerdoti...	Several no longer used variables removed.	commit \| commitdiff \| tree
2004-02-17	Claudio Sacerdoti...	Porting of applyStylesheets.ml to Helm_registry.	commit \| commitdiff \| tree
2004-02-17	Claudio Sacerdoti...	Reindentation.	commit \| commitdiff \| tree
2004-02-17	Claudio Sacerdoti...	mathql_db_map.txt now retrieved by Helm_registry.	commit \| commitdiff \| tree
2004-02-17	Claudio Sacerdoti...	mathql_db_map.txt is now retrieved by Helm_registry.	commit \| commitdiff \| tree
2004-02-17	Claudio Sacerdoti...	-linkall removed	commit \| commitdiff \| tree
2004-02-17	Claudio Sacerdoti...	- ported to Helm_registry	commit \| commitdiff \| tree
2004-02-17	Claudio Sacerdoti...	searchEngine ported to Helm_registry.	commit \| commitdiff \| tree
2004-02-17	Claudio Sacerdoti...	All daemons are now run in their .opt version.	commit \| commitdiff \| tree
2004-02-17	Claudio Sacerdoti...	Any residual reference to tomcat and servlets changed...	commit \| commitdiff \| tree
next

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

RSS Atom