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

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

2005-06-09	Stefano Zacchiroli	load "test.txt" and show it in a scrolled win	commit \| commitdiff \| tree \| snapshot
2005-06-09	Stefano Zacchiroli	snapshot	commit \| commitdiff \| tree \| snapshot
2005-06-09	Alberto Griggio	prima implementazione di demodulate, superposition_left...	commit \| commitdiff \| tree \| snapshot
2005-06-09	Alberto Griggio	cambiato il tipo equality, aggiunto l'ordinamento tra...	commit \| commitdiff \| tree \| snapshot
2005-06-09	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-06-09	Claudio Sacerdoti...	test_instance.ma moved to interactive/ (whose tests...	commit \| commitdiff \| tree \| snapshot
2005-06-09	Claudio Sacerdoti...	intro ==> intros	commit \| commitdiff \| tree \| snapshot
2005-06-09	Claudio Sacerdoti...	Error message improved.	commit \| commitdiff \| tree \| snapshot
2005-06-09	Claudio Sacerdoti...	Now CicMetaSubst.delift_rels restricts the Metas when...	commit \| commitdiff \| tree \| snapshot
2005-06-09	Claudio Sacerdoti...	No more explicit types for the branches of the matches...	commit \| commitdiff \| tree \| snapshot
2005-06-09	Stefano Zacchiroli	snapshot	commit \| commitdiff \| tree \| snapshot
2005-06-09	Claudio Sacerdoti...	CicSubstitution.delift ==> CicMetaSubst.delift_rels	commit \| commitdiff \| tree \| snapshot
2005-06-09	Stefano Zacchiroli	lablgtksourceview: first checkin, almost nothing bound ...	commit \| commitdiff \| tree \| snapshot
2005-06-09	Claudio Sacerdoti...	Exception raised by delift changed:	commit \| commitdiff \| tree \| snapshot
2005-06-09	Claudio Sacerdoti...	Debugging code removed.	commit \| commitdiff \| tree \| snapshot
2005-06-09	Enrico Tassi	added debug item for coercion	commit \| commitdiff \| tree \| snapshot
2005-06-09	Enrico Tassi	added \n to "file saved" message	commit \| commitdiff \| tree \| snapshot
2005-06-09	Enrico Tassi	added whd before uri_of_term	commit \| commitdiff \| tree \| snapshot
2005-06-09	Enrico Tassi	removed debug prints	commit \| commitdiff \| tree \| snapshot
2005-06-09	Enrico Tassi	fixed remove_coercion	commit \| commitdiff \| tree \| snapshot
2005-06-09	Claudio Sacerdoti...	andrea.ma removed (superseded by match.ma)	commit \| commitdiff \| tree \| snapshot
2005-06-09	Andrea Asperti	Updated to the new syntax for match.	commit \| commitdiff \| tree \| snapshot
2005-06-09	Stefano Zacchiroli	simplified cicBrowser: whelp bar is now always visible	commit \| commitdiff \| tree \| snapshot
2005-06-08	Stefano Zacchiroli	- handles about:* uris in cicBrowser	commit \| commitdiff \| tree \| snapshot
2005-06-08	Stefano Zacchiroli	fixed history handling: now both "home" and link reache...	commit \| commitdiff \| tree \| snapshot
2005-06-08	Stefano Zacchiroli	rewritten cicBrowser handling of uri text entry, still...	commit \| commitdiff \| tree \| snapshot
2005-06-08	Claudio Sacerdoti...	The type of a top-level "let rec" can be optional.	commit \| commitdiff \| tree \| snapshot
2005-06-08	Claudio Sacerdoti...	Let's try to make the "let rec" construct infer its...	commit \| commitdiff \| tree \| snapshot
2005-06-08	Claudio Sacerdoti...	Syntax for top-level "let rec" fixed.	commit \| commitdiff \| tree \| snapshot
2005-06-08	Claudio Sacerdoti...	Using the lighter syntax for "let recs".	commit \| commitdiff \| tree \| snapshot
2005-06-08	Claudio Sacerdoti...	Using the top-level syntax for let-rec definitions.	commit \| commitdiff \| tree \| snapshot
2005-06-08	Claudio Sacerdoti...	The file is now well formed.	commit \| commitdiff \| tree \| snapshot
2005-06-08	Claudio Sacerdoti...	New syntax (again) for let rec binders:	commit \| commitdiff \| tree \| snapshot
2005-06-08	Claudio Sacerdoti...	New lighter syntax for "let rec".	commit \| commitdiff \| tree \| snapshot
2005-06-08	Claudio Sacerdoti...	Bug fixed: a symbol must be formed of just one (unicode...	commit \| commitdiff \| tree \| snapshot
2005-06-08	Claudio Sacerdoti...	Query results were erroneously tagged as directories.	commit \| commitdiff \| tree \| snapshot
2005-06-08	Claudio Sacerdoti...	1. syntax of match changed	commit \| commitdiff \| tree \| snapshot
2005-06-08	Claudio Sacerdoti...	Yet another bug fixed in the inference of the outtype...	commit \| commitdiff \| tree \| snapshot
2005-06-08	Claudio Sacerdoti...	The getter maps are now dumped also if matitac exits...	commit \| commitdiff \| tree \| snapshot
2005-06-08	Claudio Sacerdoti...	Added new target "make tests" for regression testing.	commit \| commitdiff \| tree \| snapshot
2005-06-08	Claudio Sacerdoti...	Fixed a few bugs in the inference of the outtype for...	commit \| commitdiff \| tree \| snapshot
2005-06-08	Claudio Sacerdoti...	Fixed inference of outtype for match when the inductive...	commit \| commitdiff \| tree \| snapshot
2005-06-08	Claudio Sacerdoti...	Harder test (with empty inductive types and left and...	commit \| commitdiff \| tree \| snapshot
2005-06-08	Claudio Sacerdoti...	More informative error message.	commit \| commitdiff \| tree \| snapshot
2005-06-08	Claudio Sacerdoti...	clean now also performs clean_metas (since make also...	commit \| commitdiff \| tree \| snapshot
2005-06-08	Stefano Zacchiroli	added icons to entries shown in cicbrowser so that...	commit \| commitdiff \| tree \| snapshot
2005-06-08	Stefano Zacchiroli	snapshot (minor changes)	commit \| commitdiff \| tree \| snapshot
2005-06-07	Luca Padovani	* generate list elements in correct order	commit \| commitdiff \| tree \| snapshot
2005-06-07	Enrico Tassi	added test for coercions	commit \| commitdiff \| tree \| snapshot
2005-06-07	Enrico Tassi	added coercions	commit \| commitdiff \| tree \| snapshot
2005-06-07	Stefano Zacchiroli	implemented attributes pretty printing	commit \| commitdiff \| tree \| snapshot
2005-06-07	Stefano Zacchiroli	handles "elimCProp" value for class attribute	commit \| commitdiff \| tree \| snapshot
2005-06-07	Stefano Zacchiroli	added object attributes	commit \| commitdiff \| tree \| snapshot
2005-06-07	Enrico Tassi	removed coercions from status	commit \| commitdiff \| tree \| snapshot
2005-06-07	Enrico Tassi	added support for coercions	commit \| commitdiff \| tree \| snapshot
2005-06-07	Enrico Tassi	added letin	commit \| commitdiff \| tree \| snapshot
2005-06-07	Enrico Tassi	added syntax for letin	commit \| commitdiff \| tree \| snapshot
2005-06-07	Enrico Tassi	1) Implemented inference of the outtype for empty induc...	commit \| commitdiff \| tree \| snapshot
2005-06-07	Enrico Tassi	changed match syntax:	commit \| commitdiff \| tree \| snapshot
2005-06-07	Enrico Tassi	added whd to match argument in guarded_by_destructors;	commit \| commitdiff \| tree \| snapshot
2005-06-07	Enrico Tassi	added Pp of Cast	commit \| commitdiff \| tree \| snapshot
2005-06-07	Stefano Zacchiroli	added integration entry	commit \| commitdiff \| tree \| snapshot
2005-06-07	Stefano Zacchiroli	snapshort	commit \| commitdiff \| tree \| snapshot
2005-06-07	Ferruccio Guidi	control of dependences improved	commit \| commitdiff \| tree \| snapshot
2005-06-07	Alberto Griggio	* empty log message *	commit \| commitdiff \| tree \| snapshot
2005-06-07	Andrea Asperti	My two pennies.	commit \| commitdiff \| tree \| snapshot
2005-06-06	Stefano Zacchiroli	- set monospace buffer using modify_font widget method	commit \| commitdiff \| tree \| snapshot
2005-06-06	Luca Padovani	* update	commit \| commitdiff \| tree \| snapshot
2005-06-06	Luca Padovani	* more to do	commit \| commitdiff \| tree \| snapshot
2005-06-05	Luca Padovani	* added todo file	commit \| commitdiff \| tree \| snapshot
2005-06-04	Stefano Zacchiroli	snapshot (first version with working pattern matching...	commit \| commitdiff \| tree \| snapshot
2005-06-04	Ferruccio Guidi	a contribution about subset theory in an intuitionistic...	commit \| commitdiff \| tree \| snapshot
2005-06-04	Stefano Zacchiroli	snapshot	commit \| commitdiff \| tree \| snapshot
2005-06-03	Ferruccio Guidi	contribution about \lambda-\delta	commit \| commitdiff \| tree \| snapshot
2005-06-02	Stefano Zacchiroli	snapshot (added typed environment in 2 -> 1 conversion)	commit \| commitdiff \| tree \| snapshot
2005-06-02	Stefano Zacchiroli	snapshot (first working implementation of parttern...	commit \| commitdiff \| tree \| snapshot
2005-06-01	Enrico Tassi	fix_escaping	commit \| commitdiff \| tree \| snapshot
2005-06-01	Enrico Tassi	reduce with path	commit \| commitdiff \| tree \| snapshot
2005-06-01	Enrico Tassi	paths trough terms implemented with a nice hack :)	commit \| commitdiff \| tree \| snapshot
2005-06-01	Enrico Tassi	some cosmetic fixes	commit \| commitdiff \| tree \| snapshot
2005-06-01	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-06-01	Enrico Tassi	removed debug prerr_endline	commit \| commitdiff \| tree \| snapshot
2005-06-01	Enrico Tassi	fixed classical non-C programmer misunderstooding of...	commit \| commitdiff \| tree \| snapshot
2005-06-01	Enrico Tassi	fixed intro.	commit \| commitdiff \| tree \| snapshot
2005-06-01	Enrico Tassi	added C.Appl [] case	commit \| commitdiff \| tree \| snapshot
2005-05-31	Stefano Zacchiroli	snapshot (ported to new "typed" ids_to_inner_sort table)	commit \| commitdiff \| tree \| snapshot
2005-05-31	Stefano Zacchiroli	Changed type of ids_to_inner_sort table used in transfo...	commit \| commitdiff \| tree \| snapshot
2005-05-31	Enrico Tassi	added comment	commit \| commitdiff \| tree \| snapshot
2005-05-31	Stefano Zacchiroli	snapshot (first version with [apparently] working mappi...	commit \| commitdiff \| tree \| snapshot
2005-05-31	Enrico Tassi	implemented normalize (used in new_metasenv_for_apply)	commit \| commitdiff \| tree \| snapshot
2005-05-31	Enrico Tassi	fixed width fonts	commit \| commitdiff \| tree \| snapshot
2005-05-31	Enrico Tassi	fixed comments	commit \| commitdiff \| tree \| snapshot
2005-05-31	Enrico Tassi	new shortcuts	commit \| commitdiff \| tree \| snapshot
2005-05-31	Andrea Asperti	added colors	commit \| commitdiff \| tree \| snapshot
2005-05-31	Stefano Zacchiroli	snapshot (the thing on the doorstep)	commit \| commitdiff \| tree \| snapshot
2005-05-31	Andrea Asperti	more verbose case failure message	commit \| commitdiff \| tree \| snapshot
2005-05-31	Andrea Asperti	added chronometer	commit \| commitdiff \| tree \| snapshot
2005-05-31	Andrea Asperti	added automathic aliases for _ind _rec and _rect when...	commit \| commitdiff \| tree \| snapshot
2005-05-31	Andrea Asperti	fix	commit \| commitdiff \| tree \| snapshot
2005-05-31	Enrico Tassi	added automathic aliases for qed and definition	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom