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

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

2005-06-14	Claudio Sacerdoti...	incomplete proof completed	commit \| commitdiff \| tree \| snapshot
2005-06-14	Claudio Sacerdoti...	typo fixed: simmetry ==> symmetry	commit \| commitdiff \| tree \| snapshot
2005-06-14	Claudio Sacerdoti...	incomplete proof terminated	commit \| commitdiff \| tree \| snapshot
2005-06-14	Claudio Sacerdoti...	qed missing	commit \| commitdiff \| tree \| snapshot
2005-06-14	Claudio Sacerdoti...	Bug fixed: when the final proof_status is not No_proof...	commit \| commitdiff \| tree \| snapshot
2005-06-14	Enrico Tassi	added fullscreen menu item	commit \| commitdiff \| tree \| snapshot
2005-06-13	Stefano Zacchiroli	integrated lablgtksourceview	commit \| commitdiff \| tree \| snapshot
2005-06-13	Enrico Tassi	cosmetic fix	commit \| commitdiff \| tree \| snapshot
2005-06-13	Stefano Zacchiroli	- no longer build mathql per default	commit \| commitdiff \| tree \| snapshot
2005-06-13	Enrico Tassi	renamed	commit \| commitdiff \| tree \| snapshot
2005-06-13	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-06-13	Enrico Tassi	F2 hides the tactics buttons bar	commit \| commitdiff \| tree \| snapshot
2005-06-13	Stefano Zacchiroli	- new minor version	commit \| commitdiff \| tree \| snapshot
2005-06-13	Stefano Zacchiroli	ported to official (guessed) version of lablgtk2	commit \| commitdiff \| tree \| snapshot
2005-06-13	Stefano Zacchiroli	better clean up on dist	commit \| commitdiff \| tree \| snapshot
2005-06-13	Stefano Zacchiroli	moved the annoying debugging print to test	commit \| commitdiff \| tree \| snapshot
2005-06-13	Stefano Zacchiroli	ported to lablgtk2 2.4.0+2005.06.13-1	commit \| commitdiff \| tree \| snapshot
2005-06-13	Stefano Zacchiroli	ported to latest lablgtk2 snapshot (13/06/2005) in...	commit \| commitdiff \| tree \| snapshot
2005-06-13	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-06-13	Enrico Tassi	added syntax hilight for temperino	commit \| commitdiff \| tree \| snapshot
2005-06-13	Enrico Tassi	removed prerr_endline	commit \| commitdiff \| tree \| snapshot
2005-06-13	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-06-13	Enrico Tassi	error	commit \| commitdiff \| tree \| snapshot
2005-06-13	Enrico Tassi	moved to xmlPushParser	commit \| commitdiff \| tree \| snapshot
2005-06-13	Enrico Tassi	fixed error in comment	commit \| commitdiff \| tree \| snapshot
2005-06-11	Stefano Zacchiroli	rewritten makefile and debian packaging: .deb ready!	commit \| commitdiff \| tree \| snapshot
2005-06-11	Stefano Zacchiroli	added an 'a parameter to mpresentation type so that...	commit \| commitdiff \| tree \| snapshot
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
next

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

RSS Atom