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

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

2004-02-19	Ferruccio Guidi	source logging patched	commit \| commitdiff \| tree \| snapshot
2004-02-19	Ferruccio Guidi	new mathql interpreterr flag V	commit \| commitdiff \| tree \| snapshot
2004-02-19	Ferruccio Guidi	source logging is now native in the interpreter	commit \| commitdiff \| tree \| snapshot
2004-02-19	Ferruccio Guidi	source logging enabled by default	commit \| commitdiff \| tree \| snapshot
2004-02-19	Andrea Asperti	Adding tacticAst2Box (pretty printer for tactical,...	commit \| commitdiff \| tree \| snapshot
2004-02-19	Andrea Asperti	Minor modification in test_parser (to use the new prett...	commit \| commitdiff \| tree \| snapshot
2004-02-18	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2004-02-18	Ferruccio Guidi	mathql interpreter flags can be now red from helm registry	commit \| commitdiff \| tree \| snapshot
2004-02-18	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2004-02-18	Claudio Sacerdoti...	uwobo ==> uwobo.opt	commit \| commitdiff \| tree \| snapshot
2004-02-18	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2004-02-18	Claudio Sacerdoti...	Stuff moved around.	commit \| commitdiff \| tree \| snapshot
2004-02-18	Claudio Sacerdoti...	ENVSCRIPT and mathql_db_map.txt no longer in use.	commit \| commitdiff \| tree \| snapshot
2004-02-18	Claudio Sacerdoti...	Removed stuff no longer in use.	commit \| commitdiff \| tree \| snapshot
2004-02-18	Claudio Sacerdoti...	helm_registry is already in due to transitive dependencies	commit \| commitdiff \| tree \| snapshot
2004-02-18	Claudio Sacerdoti...	The order IS significative. Changing the order (in...	commit \| commitdiff \| tree \| snapshot
2004-02-18	Claudio Sacerdoti...	typo fixed. Used to break the ls method.	commit \| commitdiff \| tree \| snapshot
2004-02-18	Stefano Zacchiroli	- better error message on "unknown identifier"	commit \| commitdiff \| tree \| snapshot
2004-02-18	Stefano Zacchiroli	fixed cosmetic typos during pretty printing	commit \| commitdiff \| tree \| snapshot
2004-02-18	Stefano Zacchiroli	- bugfix in term grammar: lowered precedence level...	commit \| commitdiff \| tree \| snapshot
2004-02-18	Stefano Zacchiroli	catch parse error exception and show them to the user...	commit \| commitdiff \| tree \| snapshot
2004-02-18	Ferruccio Guidi	patched	commit \| commitdiff \| tree \| snapshot
2004-02-18	Ferruccio Guidi	batchParser and regtest patched to avoid a non encapsul...	commit \| commitdiff \| tree \| snapshot
2004-02-18	Claudio Sacerdoti...	Bug fixed: Helm_registry was used not enough lazily...	commit \| commitdiff \| tree \| snapshot
2004-02-17	Stefano Zacchiroli	added copyright info	commit \| commitdiff \| tree \| snapshot
2004-02-17	Stefano Zacchiroli	removed useless Mpresentation module	commit \| commitdiff \| tree \| snapshot
2004-02-17	Stefano Zacchiroli	moved away tactics and tacticals	commit \| commitdiff \| tree \| snapshot
2004-02-17	Stefano Zacchiroli	added tactics and tacticals (heavily bugged)	commit \| commitdiff \| tree \| snapshot
2004-02-17	Stefano Zacchiroli	added hook for .cma link time options	commit \| commitdiff \| tree \| snapshot
2004-02-17	Stefano Zacchiroli	added tactic and tactical (still heavily bugged!!!)	commit \| commitdiff \| tree \| snapshot
2004-02-17	Claudio Sacerdoti...	68080 (that overflows ; -) ==> 38080	commit \| commitdiff \| tree \| snapshot
2004-02-17	Stefano Zacchiroli	fixed typo	commit \| commitdiff \| tree \| snapshot
2004-02-17	Claudio Sacerdoti...	New key postgresql_connection_string.	commit \| commitdiff \| tree \| snapshot
2004-02-17	Stefano Zacchiroli	removed (now useless) connection string line	commit \| commitdiff \| tree \| snapshot
2004-02-17	Claudio Sacerdoti...	New key mathql_interpreter.postgresql_connection_string.	commit \| commitdiff \| tree \| snapshot
2004-02-17	Claudio Sacerdoti...	The PostgreSQL connection string has been moved to...	commit \| commitdiff \| tree \| snapshot
2004-02-17	Claudio Sacerdoti...	Other stuff no longer used removed.	commit \| commitdiff \| tree \| snapshot
2004-02-17	Claudio Sacerdoti...	Several no longer used variables removed.	commit \| commitdiff \| tree \| snapshot
2004-02-17	Claudio Sacerdoti...	Porting of applyStylesheets.ml to Helm_registry.	commit \| commitdiff \| tree \| snapshot
2004-02-17	Claudio Sacerdoti...	Reindentation.	commit \| commitdiff \| tree \| snapshot
2004-02-17	Claudio Sacerdoti...	mathql_db_map.txt now retrieved by Helm_registry.	commit \| commitdiff \| tree \| snapshot
2004-02-17	Claudio Sacerdoti...	mathql_db_map.txt is now retrieved by Helm_registry.	commit \| commitdiff \| tree \| snapshot
2004-02-17	Claudio Sacerdoti...	-linkall removed	commit \| commitdiff \| tree \| snapshot
2004-02-17	Claudio Sacerdoti...	- ported to Helm_registry	commit \| commitdiff \| tree \| snapshot
2004-02-17	Claudio Sacerdoti...	searchEngine ported to Helm_registry.	commit \| commitdiff \| tree \| snapshot
2004-02-17	Stefano Zacchiroli	fixed typo	commit \| commitdiff \| tree \| snapshot
2004-02-17	Claudio Sacerdoti...	All daemons are now run in their .opt version.	commit \| commitdiff \| tree \| snapshot
2004-02-17	Claudio Sacerdoti...	Any residual reference to tomcat and servlets changed...	commit \| commitdiff \| tree \| snapshot
2004-02-17	Claudio Sacerdoti...	- double_type_of: sort_of_prod modified to expect also...	commit \| commitdiff \| tree \| snapshot
2004-02-17	Claudio Sacerdoti...	triciclo.conf.xml ==> gTopLevel.conf.xml	commit \| commitdiff \| tree \| snapshot
2004-02-16	Claudio Sacerdoti...	More daemons ported to Helm_registry.	commit \| commitdiff \| tree \| snapshot
2004-02-16	Claudio Sacerdoti...	drawGraph ported to Helm_registry.	commit \| commitdiff \| tree \| snapshot
2004-02-16	Claudio Sacerdoti...	Porting of uriSetQueue to Helm_registry.	commit \| commitdiff \| tree \| snapshot
2004-02-16	Claudio Sacerdoti...	proofChecker ported to Helm_registry	commit \| commitdiff \| tree \| snapshot
2004-02-16	Claudio Sacerdoti...	- Ported to latest version of Helm_registry	commit \| commitdiff \| tree \| snapshot
2004-02-16	Claudio Sacerdoti...	- Uwobo ported to Helm_registry	commit \| commitdiff \| tree \| snapshot
2004-02-16	Claudio Sacerdoti...	Cached moved to /tmp/helm/cache.	commit \| commitdiff \| tree \| snapshot
2004-02-16	Claudio Sacerdoti...	Ported to Helm_registry.	commit \| commitdiff \| tree \| snapshot
2004-02-16	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2004-02-16	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2004-02-16	Stefano Zacchiroli	bugfix: top level keys now should work	commit \| commitdiff \| tree \| snapshot
2004-02-16	Claudio Sacerdoti...	- Configuration file moved to /projects/helm/etc.	commit \| commitdiff \| tree \| snapshot
2004-02-16	Claudio Sacerdoti...	- triciclo.conf.xml.sample ported to the latest version...	commit \| commitdiff \| tree \| snapshot
2004-02-16	Stefano Zacchiroli	- more structured configuration file	commit \| commitdiff \| tree \| snapshot
2004-02-16	Stefano Zacchiroli	typo fixed (unbalanced parens)	commit \| commitdiff \| tree \| snapshot
2004-02-16	Stefano Zacchiroli	added ocamlinit target which creates a .ocamlinit file	commit \| commitdiff \| tree \| snapshot
2004-02-16	Stefano Zacchiroli	solved a precedence issue between binders and arrows	commit \| commitdiff \| tree \| snapshot
2004-02-16	Stefano Zacchiroli	do not use tex notation per default (used only by tex...	commit \| commitdiff \| tree \| snapshot
2004-02-16	Stefano Zacchiroli	use BoxPp	commit \| commitdiff \| tree \| snapshot
2004-02-16	Stefano Zacchiroli	- added arrow notation	commit \| commitdiff \| tree \| snapshot
2004-02-13	Ferruccio Guidi	patched	commit \| commitdiff \| tree \| snapshot
2004-02-13	Stefano Zacchiroli	inductive type ident optional in mutcase	commit \| commitdiff \| tree \| snapshot
2004-02-13	Stefano Zacchiroli	added regtest for optional inductive type on mutcase	commit \| commitdiff \| tree \| snapshot
2004-02-13	Stefano Zacchiroli	s/pcre/str/	commit \| commitdiff \| tree \| snapshot
2004-02-13	Andrea Asperti	new (box based) pretty printer	commit \| commitdiff \| tree \| snapshot
2004-02-13	Stefano Zacchiroli	split configure.ac in two parts: ocaml and gTopLevel	commit \| commitdiff \| tree \| snapshot
2004-02-13	Stefano Zacchiroli	added sample configuration file	commit \| commitdiff \| tree \| snapshot
2004-02-13	Stefano Zacchiroli	- added support for variable interpolation	commit \| commitdiff \| tree \| snapshot
2004-02-12	Ferruccio Guidi	patched for *.cmx	commit \| commitdiff \| tree \| snapshot
2004-02-12	Ferruccio Guidi	new .depend files	commit \| commitdiff \| tree \| snapshot
2004-02-12	Stefano Zacchiroli	removed some anciente debugging messages	commit \| commitdiff \| tree \| snapshot
2004-02-12	Claudio Sacerdoti...	libraries-complete.ps:	commit \| commitdiff \| tree \| snapshot
2004-02-12	Claudio Sacerdoti...	libraries-complete.ps: the internal libraries are now...	commit \| commitdiff \| tree \| snapshot
2004-02-12	Claudio Sacerdoti...	Added new target libraries-complete.ps (with also all...	commit \| commitdiff \| tree \| snapshot
2004-02-11	Claudio Sacerdoti...	Example configuration committed.	commit \| commitdiff \| tree \| snapshot
2004-02-11	Claudio Sacerdoti...	Ported to Http_registry and to HelmLogger.	commit \| commitdiff \| tree \| snapshot
2004-02-11	Stefano Zacchiroli	getter's revolution (now uses backend in ocaml/getter)	commit \| commitdiff \| tree \| snapshot
2004-02-11	Claudio Sacerdoti...	Ported to Helm_registry.	commit \| commitdiff \| tree \| snapshot
2004-02-11	Stefano Zacchiroli	bugfix: auto_disambiguation is not considered for searc...	commit \| commitdiff \| tree \| snapshot
2004-02-11	Claudio Sacerdoti...	- script.sh removed from CVS. script.sh.sample added...	commit \| commitdiff \| tree \| snapshot
2004-02-11	Stefano Zacchiroli	fixed typo	commit \| commitdiff \| tree \| snapshot
2004-02-11	Stefano Zacchiroli	new logger	commit \| commitdiff \| tree \| snapshot
2004-02-11	Stefano Zacchiroli	new getter, logger, and the hell	commit \| commitdiff \| tree \| snapshot
2004-02-11	Stefano Zacchiroli	new logger, getter, and the hell	commit \| commitdiff \| tree \| snapshot
2004-02-11	Stefano Zacchiroli	support for subst	commit \| commitdiff \| tree \| snapshot
2004-02-11	Stefano Zacchiroli	new metas (getter's backend, registry, logger, and...	commit \| commitdiff \| tree \| snapshot
2004-02-11	Stefano Zacchiroli	ported to new getter (backend)	commit \| commitdiff \| tree \| snapshot
2004-02-11	Stefano Zacchiroli	ported to helm registry	commit \| commitdiff \| tree \| snapshot
2004-02-11	Stefano Zacchiroli	ported to new logger	commit \| commitdiff \| tree \| snapshot
2004-02-11	Stefano Zacchiroli	use debug_print in a debugging message	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom