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

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

2005-04-27	no author	This commit was manufactured by cvs2svn to create tag after_svn_merge	commit \| commitdiff \| tree \| snapshot
2005-04-27	Stefano Zacchiroli	checked in new version of matita from svn	commit \| commitdiff \| tree \| snapshot
2005-04-27	Stefano Zacchiroli	removed all matita files	commit \| commitdiff \| tree \| snapshot
2005-04-27	Stefano Zacchiroli	removed all old matita files (kept in attic)	commit \| commitdiff \| tree \| snapshot
2005-04-27	Stefano Zacchiroli	ported to svn-cvs merge	commit \| commitdiff \| tree \| snapshot
2005-04-27	Stefano Zacchiroli	merged changes from the svn fork by me and Enrico	commit \| commitdiff \| tree \| snapshot
2005-04-27	Stefano Zacchiroli	make also in utilities on whatever target	commit \| commitdiff \| tree \| snapshot
2005-04-27	Stefano Zacchiroli	cvsignore	commit \| commitdiff \| tree \| snapshot
2005-04-27	Stefano Zacchiroli	removed ancient cic_textual_parser (last live version...	commit \| commitdiff \| tree \| snapshot
2005-04-27	Stefano Zacchiroli	added re-hash-consing of URIs embedded in universes	commit \| commitdiff \| tree \| snapshot
2005-04-27	Stefano Zacchiroli	getter with in memory tree of URIs	commit \| commitdiff \| tree \| snapshot
2005-04-27	Stefano Zacchiroli	better checks on elim input, two conditions are now...	commit \| commitdiff \| tree \| snapshot
2005-04-26	Stefano Zacchiroli	clean also hypno_tbl	commit \| commitdiff \| tree \| snapshot
2005-04-26	Stefano Zacchiroli	added test.opt target	commit \| commitdiff \| tree \| snapshot
2005-04-26	Stefano Zacchiroli	- ported to current metadata API	commit \| commitdiff \| tree \| snapshot
2005-04-24	Stefano Zacchiroli	added sample entry for environment_dump configuration...	commit \| commitdiff \| tree \| snapshot
2005-04-24	Stefano Zacchiroli	added CicEnvironment preloading	commit \| commitdiff \| tree \| snapshot
2005-04-23	Stefano Zacchiroli	added licence header	commit \| commitdiff \| tree \| snapshot
2005-04-23	Stefano Zacchiroli	added license statement	commit \| commitdiff \| tree \| snapshot
2005-04-23	Stefano Zacchiroli	added license header	commit \| commitdiff \| tree \| snapshot
2005-04-22	Stefano Zacchiroli	made context and metasenv parameters of trivial disambi...	commit \| commitdiff \| tree \| snapshot
2005-04-22	Stefano Zacchiroli	added Trivial module with a disambiguate_term implement...	commit \| commitdiff \| tree \| snapshot
2005-04-22	Stefano Zacchiroli	removed debugging print	commit \| commitdiff \| tree \| snapshot
2005-04-22	Stefano Zacchiroli	uses new at_least with criteria on constants number...	commit \| commitdiff \| tree \| snapshot
2005-04-22	Stefano Zacchiroli	added filtering criteria on differences between number...	commit \| commitdiff \| tree \| snapshot
2005-04-22	Stefano Zacchiroli	- added no_hyp table	commit \| commitdiff \| tree \| snapshot
2005-04-21	Stefano Zacchiroli	split precedence level of binders: \lambda has higher...	commit \| commitdiff \| tree \| snapshot
2005-04-21	Stefano Zacchiroli	removed ancient indirections for gTopLevel	commit \| commitdiff \| tree \| snapshot
2005-04-21	Stefano Zacchiroli	no longer build neither mathql nor hbugs per default	commit \| commitdiff \| tree \| snapshot
2005-04-21	Stefano Zacchiroli	bumped copyright years	commit \| commitdiff \| tree \| snapshot
2005-04-21	Stefano Zacchiroli	utilities for creating environment dumps	commit \| commitdiff \| tree \| snapshot
2005-04-21	Stefano Zacchiroli	(hopefully) final decision on precedence levels:	commit \| commitdiff \| tree \| snapshot
2005-04-20	Stefano Zacchiroli	bugfixes:	commit \| commitdiff \| tree \| snapshot
2005-04-20	Stefano Zacchiroli	changed binding strength of some parsing entries:	commit \| commitdiff \| tree \| snapshot
2005-04-20	Stefano Zacchiroli	removed spurious debugging prints	commit \| commitdiff \| tree \| snapshot
2005-04-20	Stefano Zacchiroli	html-escapes user given expression when filling hidden...	commit \| commitdiff \| tree \| snapshot
2005-04-08	Stefano Zacchiroli	bugfix: opt target should build html pages too	commit \| commitdiff \| tree \| snapshot
2005-04-08	Stefano Zacchiroli	added clickable fingers	commit \| commitdiff \| tree \| snapshot
2005-04-08	Stefano Zacchiroli	changed logo: whelp!	commit \| commitdiff \| tree \| snapshot
2005-04-08	Ferruccio Guidi	the description file was patched	commit \| commitdiff \| tree \| snapshot
2005-04-01	Ferruccio Guidi	initial version of the "lambda-delta" calculus including:	commit \| commitdiff \| tree \| snapshot
2005-03-30	Stefano Zacchiroli	debian version 0.0.5-6	commit \| commitdiff \| tree \| snapshot
2005-03-29	Stefano Zacchiroli	rebuilt against ocaml 3.08.3	commit \| commitdiff \| tree \| snapshot
2005-03-25	Stefano Zacchiroli	debian: rebuilt against ocaml 3.08.3	commit \| commitdiff \| tree \| snapshot
2005-03-25	Stefano Zacchiroli	remove x_gdome_caml.c generated source on "clean"	commit \| commitdiff \| tree \| snapshot
2005-03-25	Stefano Zacchiroli	debian: rebuilt against ocaml 3.08.2	commit \| commitdiff \| tree \| snapshot
2005-03-22	Claudio Sacerdoti...	Bug fixed in assumption_tac: a missing (lift n) when...	commit \| commitdiff \| tree \| snapshot
2005-03-16	Stefano Zacchiroli	- bugfix: do not fail when query_kind is missing (e...	commit \| commitdiff \| tree \| snapshot
2005-03-16	Stefano Zacchiroli	user smaller font in result page	commit \| commitdiff \| tree \| snapshot
2005-03-16	Stefano Zacchiroli	- new pretty printing of interpretations	commit \| commitdiff \| tree \| snapshot
2005-03-16	Stefano Zacchiroli	make and clean also in html/	commit \| commitdiff \| tree \| snapshot
2005-03-16	Stefano Zacchiroli	removed old HTML files (tagged with "old_htmls")	commit \| commitdiff \| tree \| snapshot
2005-03-16	Stefano Zacchiroli	moogle.html is now generated, it do not needs to be...	commit \| commitdiff \| tree \| snapshot
2005-03-16	Stefano Zacchiroli	generate HTML templates using XSLT starting from a...	commit \| commitdiff \| tree \| snapshot
2005-03-16	Stefano Zacchiroli	look and feel improvements	commit \| commitdiff \| tree \| snapshot
2005-03-16	Stefano Zacchiroli	- re-enginered main moogle template, it is now aware...	commit \| commitdiff \| tree \| snapshot
2005-03-15	Stefano Zacchiroli	- handle metavariables: if at least one of them is...	commit \| commitdiff \| tree \| snapshot
2005-03-15	Stefano Zacchiroli	bugfix when user query contains metas: their context...	commit \| commitdiff \| tree \| snapshot
2005-03-11	Stefano Zacchiroli	Bugfix in restore_from_channel, before this fix hashtab...	commit \| commitdiff \| tree \| snapshot
2005-03-09	Stefano Zacchiroli	added support for open terms in check	commit \| commitdiff \| tree \| snapshot
2005-03-09	Stefano Zacchiroli	support for terms with metas in check	commit \| commitdiff \| tree \| snapshot
2005-02-14	Enrico Tassi	added choose_uri method to console, used by the interpr...	commit \| commitdiff \| tree \| snapshot
2005-02-14	Enrico Tassi	Added heuristic in the Appl case, we beta-expand only...	commit \| commitdiff \| tree \| snapshot
2005-02-14	Enrico Tassi	Fixed remove operation and get_obj (that now correctly...	commit \| commitdiff \| tree \| snapshot
2005-02-10	Stefano Zacchiroli	moved a debug print so that it is executed for each...	commit \| commitdiff \| tree \| snapshot
2005-02-10	Stefano Zacchiroli	adapted to optional comment lexer interface	commit \| commitdiff \| tree \| snapshot
2005-02-10	Stefano Zacchiroli	renaming "remove_term" -> "remove_obj"	commit \| commitdiff \| tree \| snapshot
2005-02-10	Stefano Zacchiroli	- fix in intro parsing	commit \| commitdiff \| tree \| snapshot
2005-02-10	Stefano Zacchiroli	factorized tacticals separator and terminator	commit \| commitdiff \| tree \| snapshot
2005-02-10	Stefano Zacchiroli	added "unindex" to undo indexing of a single object	commit \| commitdiff \| tree \| snapshot
2005-02-10	Stefano Zacchiroli	bugfix: method 'advance' now took in input concrete...	commit \| commitdiff \| tree \| snapshot
2005-02-10	Stefano Zacchiroli	changed toolbar window type	commit \| commitdiff \| tree \| snapshot
2005-02-10	Stefano Zacchiroli	bugfix: avoid executing tactic for the script twice	commit \| commitdiff \| tree \| snapshot
2005-02-10	Stefano Zacchiroli	removed spurious dependency on Dbi_mysql	commit \| commitdiff \| tree \| snapshot
2005-02-09	Stefano Zacchiroli	added script support a la coqide	commit \| commitdiff \| tree \| snapshot
2005-02-09	Stefano Zacchiroli	- fixed "error loading dom error" avoiding sequent_view...	commit \| commitdiff \| tree \| snapshot
2005-02-09	Stefano Zacchiroli	moved lockScript to MatitaScript module	commit \| commitdiff \| tree \| snapshot
2005-02-08	Stefano Zacchiroli	0.1.0-1 entry	commit \| commitdiff \| tree \| snapshot
2005-02-08	Stefano Zacchiroli	strip debian version from META version	commit \| commitdiff \| tree \| snapshot
2005-02-08	Stefano Zacchiroli	use wildcard in install target so that binary objects...	commit \| commitdiff \| tree \| snapshot
2005-02-08	Stefano Zacchiroli	added a missing unchecked_to_frozen (fixes a Not_found...	commit \| commitdiff \| tree \| snapshot
2005-02-08	Enrico Tassi	at_least now supports the ownerized tables	commit \| commitdiff \| tree \| snapshot
2005-02-08	Stefano Zacchiroli	added boxml namespace	commit \| commitdiff \| tree \| snapshot
2005-02-08	Stefano Zacchiroli	- changed license to lgpl	commit \| commitdiff \| tree \| snapshot
2005-02-08	Stefano Zacchiroli	debian changes target release 0.1.0	commit \| commitdiff \| tree \| snapshot
2005-02-08	Stefano Zacchiroli	included lgpl	commit \| commitdiff \| tree \| snapshot
2005-02-07	Stefano Zacchiroli	added TODO file	commit \| commitdiff \| tree \| snapshot
2005-02-07	Stefano Zacchiroli	added support for directory browsing in cicBrowser	commit \| commitdiff \| tree \| snapshot
2005-02-07	Stefano Zacchiroli	rebuilt	commit \| commitdiff \| tree \| snapshot
2005-02-07	Stefano Zacchiroli	connected change tactic (proof of concept)	commit \| commitdiff \| tree \| snapshot
2005-02-07	Enrico Tassi	removed chosenTransformer.ml*	commit \| commitdiff \| tree \| snapshot
2005-02-07	Enrico Tassi	removed chosenTransformer.mli	commit \| commitdiff \| tree \| snapshot
2005-02-07	Enrico Tassi	sync with Xml.pp	commit \| commitdiff \| tree \| snapshot
2005-02-04	Stefano Zacchiroli	fix join on multiple tables	commit \| commitdiff \| tree \| snapshot
2005-02-04	Enrico Tassi	fixed Gzip bug in Xml.pp	commit \| commitdiff \| tree \| snapshot
2005-02-04	Enrico Tassi	saves to gzip	commit \| commitdiff \| tree \| snapshot
2005-02-04	Enrico Tassi	added library table and owner tables handling in the...	commit \| commitdiff \| tree \| snapshot
2005-02-04	Stefano Zacchiroli	escape exception name and arguments embedded in root...	commit \| commitdiff \| tree \| snapshot
2005-02-04	Stefano Zacchiroli	bugfix: handling of local resources (not to be cached...	commit \| commitdiff \| tree \| snapshot
2005-02-04	Stefano Zacchiroli	changed local_url so that it returns the local part...	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom