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

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

2005-06-11	Stefano Zacchiroli	ocaml 3.08.3 commit	commit \| commitdiff \| tree \| snapshot
2005-06-11	Stefano Zacchiroli	fixed segfault issue with matching bracket search	commit \| commitdiff \| tree \| snapshot
2005-06-11	Stefano Zacchiroli	first checkin of debian stuff, something done, but...	commit \| commitdiff \| tree \| snapshot
2005-06-10	Stefano Zacchiroli	snapshort	commit \| commitdiff \| tree \| snapshot
2005-06-10	Enrico Tassi	added_test	commit \| commitdiff \| tree \| snapshot
2005-06-10	Enrico Tassi	added records	commit \| commitdiff \| tree \| snapshot
2005-06-10	Enrico Tassi	added mk_rel	commit \| commitdiff \| tree \| snapshot
2005-06-10	Enrico Tassi	added records pp, ast and fixed a bug in match with...	commit \| commitdiff \| tree \| snapshot
2005-06-10	Enrico Tassi	added record generation modules	commit \| commitdiff \| tree \| snapshot
2005-06-10	Enrico Tassi	added record generation module	commit \| commitdiff \| tree \| snapshot
2005-06-10	Claudio Sacerdoti...	The type of the left parameters of an inductive type...	commit \| commitdiff \| tree \| snapshot
2005-06-10	Claudio Sacerdoti...	Got rid of a few bugs.	commit \| commitdiff \| tree \| snapshot
2005-06-10	Claudio Sacerdoti...	Got rid of a few warnings.	commit \| commitdiff \| tree \| snapshot
2005-06-10	Claudio Sacerdoti...	Got rid of a few warnings.	commit \| commitdiff \| tree \| snapshot
2005-06-10	Claudio Sacerdoti...	an assert failure changed to an exception and a bit...	commit \| commitdiff \| tree \| snapshot
2005-06-10	Claudio Sacerdoti...	The user is no longer obliged to give the types for...	commit \| commitdiff \| tree \| snapshot
2005-06-10	Alberto Griggio	integrated indexing.ml, breaks everything :-P (previous...	commit \| commitdiff \| tree \| snapshot
2005-06-10	Claudio Sacerdoti...	debugging to false	commit \| commitdiff \| tree \| snapshot
2005-06-10	Claudio Sacerdoti...	* (Head) beta reduction functions factorized	commit \| commitdiff \| tree \| snapshot
2005-06-10	Claudio Sacerdoti...	More debugging infos.	commit \| commitdiff \| tree \| snapshot
2005-06-10	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-06-10	Claudio Sacerdoti...	unshare.ml*	commit \| commitdiff \| tree \| snapshot
2005-06-10	Claudio Sacerdoti...	Complete unsharing of terms.	commit \| commitdiff \| tree \| snapshot
2005-06-10	Stefano Zacchiroli	- bound GtkSourceLanguagesManager (only get_lang..from_...	commit \| commitdiff \| tree \| snapshot
2005-06-10	Stefano Zacchiroli	snaphot	commit \| commitdiff \| tree \| snapshot
2005-06-10	Claudio Sacerdoti...	head_beta_reduce used to create applications of applica...	commit \| commitdiff \| tree \| snapshot
2005-06-10	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-06-09	Stefano Zacchiroli	added source_view ?text constructor parameter	commit \| commitdiff \| tree \| snapshot
2005-06-09	Stefano Zacchiroli	test file	commit \| commitdiff \| tree \| snapshot
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
next

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

RSS Atom