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

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

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
2005-05-31	Enrico Tassi	added shortcuts	commit \| commitdiff \| tree \| snapshot
2005-05-31	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-05-30	Stefano Zacchiroli	added uri_of_term	commit \| commitdiff \| tree \| snapshot
2005-05-30	Enrico Tassi	mah...matita.ml	commit \| commitdiff \| tree \| snapshot
2005-05-30	Andrea Asperti	fix	commit \| commitdiff \| tree \| snapshot
2005-05-30	Andrea Asperti	added intros n	commit \| commitdiff \| tree \| snapshot
2005-05-30	Andrea Asperti	added intros n.	commit \| commitdiff \| tree \| snapshot
2005-05-30	Andrea Asperti	added automathic aliases.	commit \| commitdiff \| tree \| snapshot
2005-05-27	Stefano Zacchiroli	- commented out no longer needed macros Redo, Undo...	commit \| commitdiff \| tree \| snapshot
2005-05-27	Stefano Zacchiroli	fixed otags invocation	commit \| commitdiff \| tree \| snapshot
2005-05-27	Stefano Zacchiroli	commented out no longer needed macros Redo, Undo, Abort	commit \| commitdiff \| tree \| snapshot
2005-05-27	Stefano Zacchiroli	added %.annot rule to create type annotation files	commit \| commitdiff \| tree \| snapshot
2005-05-27	Enrico Tassi	removed debug prerr_endline	commit \| commitdiff \| tree \| snapshot
2005-05-27	Enrico Tassi	fixed matitac	commit \| commitdiff \| tree \| snapshot
2005-05-27	Stefano Zacchiroli	refactored modules structure	commit \| commitdiff \| tree \| snapshot
2005-05-27	Stefano Zacchiroli	* fold left/right implemented	commit \| commitdiff \| tree \| snapshot
2005-05-27	Stefano Zacchiroli	snapshot	commit \| commitdiff \| tree \| snapshot
2005-05-27	Andrea Asperti	1. removed obsolete comments	commit \| commitdiff \| tree \| snapshot
2005-05-26	Claudio Sacerdoti...	Now the links to 7 pages at a time are shown. Cool.	commit \| commitdiff \| tree \| snapshot
2005-05-26	Claudio Sacerdoti...	256 chars max ==> 1024 chars max (because of Coq)	commit \| commitdiff \| tree \| snapshot
2005-05-26	Stefano Zacchiroli	fixed issue with explicit named substitutions	commit \| commitdiff \| tree \| snapshot
2005-05-26	Claudio Sacerdoti...	Bugs fixed:	commit \| commitdiff \| tree \| snapshot
2005-05-26	Stefano Zacchiroli	snapshot	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom