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

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

2005-09-13	Stefano Zacchiroli	- changed moo representation in MatitaTypes.status...	commit \| commitdiff \| tree \| snapshot
2005-09-13	Stefano Zacchiroli	cosmetic changes	commit \| commitdiff \| tree \| snapshot
2005-09-13	Stefano Zacchiroli	fixed dummy_floc	commit \| commitdiff \| tree \| snapshot
2005-09-13	Stefano Zacchiroli	- fixed dummy_floc (now in DisambiguateTypes)	commit \| commitdiff \| tree \| snapshot
2005-09-13	Stefano Zacchiroli	added moo dumping debug item	commit \| commitdiff \| tree \| snapshot
2005-09-13	Stefano Zacchiroli	remove matitamake binaries on clean	commit \| commitdiff \| tree \| snapshot
2005-09-13	Stefano Zacchiroli	added "commands_of_environment"	commit \| commitdiff \| tree \| snapshot
2005-09-13	Stefano Zacchiroli	regenerated	commit \| commitdiff \| tree \| snapshot
2005-09-13	Stefano Zacchiroli	moved dummy_floc from Disambiguate to DisambiguateTypes...	commit \| commitdiff \| tree \| snapshot
2005-09-13	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-09-13	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-09-13	Claudio Sacerdoti...	Test fixed.	commit \| commitdiff \| tree \| snapshot
2005-09-13	Claudio Sacerdoti...	Two bugs fixed in the apply tactic:	commit \| commitdiff \| tree \| snapshot
2005-09-12	Claudio Sacerdoti...	cic_textual_parser2 ==> cic_disambiguation	commit \| commitdiff \| tree \| snapshot
2005-09-12	Claudio Sacerdoti...	cic_textual_parser2 ==> cic_disambiguation	commit \| commitdiff \| tree \| snapshot
2005-09-12	Claudio Sacerdoti...	core_notation.ma ==> core_notation.moo	commit \| commitdiff \| tree \| snapshot
2005-09-12	Stefano Zacchiroli	removed left-spacing of 2 em for '(' (useful only for...	commit \| commitdiff \| tree \| snapshot
2005-09-12	Stefano Zacchiroli	- de-ALB-ing	commit \| commitdiff \| tree \| snapshot
2005-09-12	Stefano Zacchiroli	cic_textual_parser2 -> cic_disambiguation	commit \| commitdiff \| tree \| snapshot
2005-09-12	Stefano Zacchiroli	removed debugging print	commit \| commitdiff \| tree \| snapshot
2005-09-12	Stefano Zacchiroli	removed work-arounds for poor disambiguation, which...	commit \| commitdiff \| tree \| snapshot
2005-09-12	Stefano Zacchiroli	Added support for multiple disambiguation passes.	commit \| commitdiff \| tree \| snapshot
2005-09-12	Stefano Zacchiroli	added support for multi-aliases in disambiguation envir...	commit \| commitdiff \| tree \| snapshot
2005-09-12	Stefano Zacchiroli	added use_coercions flag (imperative :-(, non re-entran...	commit \| commitdiff \| tree \| snapshot
2005-09-12	Claudio Sacerdoti...	Comment removed.	commit \| commitdiff \| tree \| snapshot
2005-09-12	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-09-12	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-09-12	Stefano Zacchiroli	- exported CPS iterator visit_magic	commit \| commitdiff \| tree \| snapshot
2005-09-12	Stefano Zacchiroli	Filled pre-generated notation levels with productions...	commit \| commitdiff \| tree \| snapshot
2005-09-12	Stefano Zacchiroli	done some items	commit \| commitdiff \| tree \| snapshot
2005-09-12	Stefano Zacchiroli	commented Record type constructor	commit \| commitdiff \| tree \| snapshot
2005-09-12	Claudio Sacerdoti...	An old note (that goes back to July) integrated in...	commit \| commitdiff \| tree \| snapshot
2005-09-09	Enrico Tassi	the case Appl Meta vs t was not executed in case t...	commit \| commitdiff \| tree \| snapshot
2005-09-09	Enrico Tassi	workaround for sequent viewer flickering	commit \| commitdiff \| tree \| snapshot
2005-09-09	Enrico Tassi	added left/right	commit \| commitdiff \| tree \| snapshot
2005-09-08	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-09-08	Stefano Zacchiroli	removed some debugging prints	commit \| commitdiff \| tree \| snapshot
2005-09-08	Stefano Zacchiroli	items related to lazy parsing	commit \| commitdiff \| tree \| snapshot
2005-09-08	Stefano Zacchiroli	implemented lazy disambiguation of tactics arguments...	commit \| commitdiff \| tree \| snapshot
2005-09-08	Stefano Zacchiroli	added set_metasenv on proof_status	commit \| commitdiff \| tree \| snapshot
2005-09-08	Stefano Zacchiroli	- uses runtime base dir to reference logo with qed	commit \| commitdiff \| tree \| snapshot
2005-09-08	Stefano Zacchiroli	removed some dead code	commit \| commitdiff \| tree \| snapshot
2005-09-08	Stefano Zacchiroli	tests changing under a binder	commit \| commitdiff \| tree \| snapshot
2005-09-08	Stefano Zacchiroli	uses Map.equal to compare universes	commit \| commitdiff \| tree \| snapshot
2005-09-08	Stefano Zacchiroli	completed test	commit \| commitdiff \| tree \| snapshot
2005-09-07	Claudio Sacerdoti...	Unsharing bugs fixed.	commit \| commitdiff \| tree \| snapshot
2005-09-07	Claudio Sacerdoti...	Unsharing bug due to a very stupid typo fixed.	commit \| commitdiff \| tree \| snapshot
2005-09-07	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-09-06	Stefano Zacchiroli	bugfix: avoid losing attributes on boxes which have...	commit \| commitdiff \| tree \| snapshot
2005-09-06	Stefano Zacchiroli	removed dead code	commit \| commitdiff \| tree \| snapshot
2005-09-06	Stefano Zacchiroli	added {get,set}_attr	commit \| commitdiff \| tree \| snapshot
2005-09-06	Stefano Zacchiroli	added {get,set,pp}_attr	commit \| commitdiff \| tree \| snapshot
2005-09-06	Stefano Zacchiroli	uses \def symbol for definitions in context	commit \| commitdiff \| tree \| snapshot
2005-09-06	Stefano Zacchiroli	done 1 item	commit \| commitdiff \| tree \| snapshot
2005-09-06	Stefano Zacchiroli	updated	commit \| commitdiff \| tree \| snapshot
2005-09-06	Stefano Zacchiroli	misc fixes in cic browser queries (pretty printing...	commit \| commitdiff \| tree \| snapshot
2005-09-06	Alberto Griggio	added dirty hack to blacklist mult_n_2, which causes...	commit \| commitdiff \| tree \| snapshot
2005-09-06	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-09-06	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-09-06	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-09-06	Claudio Sacerdoti...	Refiner substituted with the type-checker in a case...	commit \| commitdiff \| tree \| snapshot
2005-09-06	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-09-06	Claudio Sacerdoti...	New bug exposed.	commit \| commitdiff \| tree \| snapshot
2005-09-06	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-09-06	Claudio Sacerdoti...	Dead code/files removed.	commit \| commitdiff \| tree \| snapshot
2005-09-06	Stefano Zacchiroli	removed debugging prints and better sample	commit \| commitdiff \| tree \| snapshot
2005-09-06	Stefano Zacchiroli	added <include href="foo/bar/baz.xml" /> support	commit \| commitdiff \| tree \| snapshot
2005-09-06	Claudio Sacerdoti...	Bug fixed: the small logo was searched in the wrong...	commit \| commitdiff \| tree \| snapshot
2005-09-06	Claudio Sacerdoti...	Serious bug fixed: unsharing was not performed over...	commit \| commitdiff \| tree \| snapshot
2005-09-06	Claudio Sacerdoti...	Dead code removed.	commit \| commitdiff \| tree \| snapshot
2005-09-05	Claudio Sacerdoti...	Added aliases and notation.	commit \| commitdiff \| tree \| snapshot
2005-09-05	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-09-05	Claudio Sacerdoti...	Unfold tactic generalized to perform zeta-reduction.	commit \| commitdiff \| tree \| snapshot
2005-09-05	Claudio Sacerdoti...	locate_in_* functions generalized to handle equalities...	commit \| commitdiff \| tree \| snapshot
2005-09-05	Claudio Sacerdoti...	New change in patterns: the pattern "in H" is now inter...	commit \| commitdiff \| tree \| snapshot
2005-09-05	Claudio Sacerdoti...	The refined form of a reference to a let-in bound varia...	commit \| commitdiff \| tree \| snapshot
2005-09-05	Stefano Zacchiroli	use uniform naming for referencing cicNotation* modules	commit \| commitdiff \| tree \| snapshot
2005-09-05	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-09-05	Stefano Zacchiroli	removed tedious debugging message	commit \| commitdiff \| tree \| snapshot
2005-09-05	Stefano Zacchiroli	avoid generating multiple times the same xref/href	commit \| commitdiff \| tree \| snapshot
2005-09-05	Enrico Tassi	fix generation of applications of applications.	commit \| commitdiff \| tree \| snapshot
2005-09-05	Enrico Tassi	added @raise in comment (and source)	commit \| commitdiff \| tree \| snapshot
2005-09-05	Enrico Tassi	simplify and let-in	commit \| commitdiff \| tree \| snapshot
2005-09-05	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-09-05	Claudio Sacerdoti...	Assert false (for imbricated theorems) changed to a...	commit \| commitdiff \| tree \| snapshot
2005-09-05	Claudio Sacerdoti...	New strategy for let-in unfolding (aka zeta reduction...	commit \| commitdiff \| tree \| snapshot
2005-09-05	Claudio Sacerdoti...	Critical bug fixed: the get_cooked_obj was called on...	commit \| commitdiff \| tree \| snapshot
2005-09-05	Claudio Sacerdoti...	Typing errors fixed.	commit \| commitdiff \| tree \| snapshot
2005-09-05	Claudio Sacerdoti...	The logo was searched in the wrong directory.	commit \| commitdiff \| tree \| snapshot
2005-09-05	Claudio Sacerdoti...	Bug fixed: Invalid_argument was raised by List.combine...	commit \| commitdiff \| tree \| snapshot
2005-09-05	Claudio Sacerdoti...	LAMBDA-TYPES moved under contrib, fixed (to use the...	commit \| commitdiff \| tree \| snapshot
2005-09-05	Stefano Zacchiroli	bug fix for IDA: uses remote names (i.e. http://.....	commit \| commitdiff \| tree \| snapshot
2005-09-05	Ferruccio Guidi	LAMBDA-TYPES moved under contribs	commit \| commitdiff \| tree \| snapshot
2005-09-05	Enrico Tassi	The popup that asks to generate .moo for a .ma shows...	commit \| commitdiff \| tree \| snapshot
2005-09-05	Claudio Sacerdoti...	Bug fixed: matitac used to stop too early when an ambig...	commit \| commitdiff \| tree \| snapshot
2005-09-05	Claudio Sacerdoti...	create_owner_environment missing from matitatop initial...	commit \| commitdiff \| tree \| snapshot
2005-09-02	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-09-02	Claudio Sacerdoti...	Unsharing removed since it is now used in Cic2acic.	commit \| commitdiff \| tree \| snapshot
2005-09-02	Claudio Sacerdoti...	Unsharing finally introduced (but just for object proce...	commit \| commitdiff \| tree \| snapshot
2005-09-02	Claudio Sacerdoti...	Bug fixed: sorts and implicits were not unshared correctly.	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom