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

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

2005-07-18	Enrico Tassi	compilation of needed modules now outputs to the log...	commit \| commitdiff \| tree
2005-07-15	Enrico Tassi	fixed a specific case in development handling	commit \| commitdiff \| tree
2005-07-15	Enrico Tassi	matitamake is integrated with matita	commit \| commitdiff \| tree
2005-07-15	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-07-13	Enrico Tassi	all interface is locked during advance/retract	commit \| commitdiff \| tree
2005-07-13	Enrico Tassi	fixed lock mark	commit \| commitdiff \| tree
2005-07-13	Enrico Tassi	some more replace facility: alt-r	commit \| commitdiff \| tree
2005-07-13	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-07-13	Enrico Tassi	added find&replace facility	commit \| commitdiff \| tree
2005-07-13	Enrico Tassi	use dvariant for associtivity	commit \| commitdiff \| tree
2005-07-13	Enrico Tassi	removed drop.	commit \| commitdiff \| tree
2005-07-13	Enrico Tassi	copied text is unlocked :)	commit \| commitdiff \| tree
2005-07-13	Enrico Tassi	matitamake stuff:	commit \| commitdiff \| tree
2005-07-12	Enrico Tassi	added matitamake	commit \| commitdiff \| tree
2005-07-12	Enrico Tassi	added matita.conf.xml.sample	commit \| commitdiff \| tree
2005-07-12	Enrico Tassi	added .moo	commit \| commitdiff \| tree
2005-07-11	Enrico Tassi	...	commit \| commitdiff \| tree
2005-07-11	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-07-11	Enrico Tassi	default USER_HOME to pwd	commit \| commitdiff \| tree
2005-07-11	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-07-11	Enrico Tassi	matita.conf.xml.sample is now generated	commit \| commitdiff \| tree
2005-07-11	Enrico Tassi	added a flag to do the check of alredy-proved-theorem	commit \| commitdiff \| tree
2005-07-11	Enrico Tassi	tentative hack for the incredible DB slowdown.	commit \| commitdiff \| tree
2005-07-08	Enrico Tassi	added variant thm flavour	commit \| commitdiff \| tree
2005-07-08	Enrico Tassi	added Variant theorem flavour	commit \| commitdiff \| tree
2005-07-08	Enrico Tassi	it seems the sequent window is refreshed properly now	commit \| commitdiff \| tree
2005-07-08	Enrico Tassi	added query	commit \| commitdiff \| tree
2005-07-08	Enrico Tassi	fixed url	commit \| commitdiff \| tree
2005-07-07	Enrico Tassi	apply_tac now catches TypeChecerFailure and raises...	commit \| commitdiff \| tree
2005-07-07	Enrico Tassi	fixed auto when the context has some deleted hypothesis	commit \| commitdiff \| tree
2005-07-07	Enrico Tassi	$ matita filename	commit \| commitdiff \| tree
2005-07-07	Enrico Tassi	added test for elim	commit \| commitdiff \| tree
2005-07-07	Enrico Tassi	tab -> spaces	commit \| commitdiff \| tree
2005-07-07	Enrico Tassi	alim of now resets the counter	commit \| commitdiff \| tree
2005-07-07	Enrico Tassi	env creation fix	commit \| commitdiff \| tree
2005-07-07	Enrico Tassi	now tables are recreated if needed and mattiaclean...	commit \| commitdiff \| tree
2005-07-07	Enrico Tassi	tables for matita.owner are created at boot	commit \| commitdiff \| tree
2005-07-07	Enrico Tassi	fixed according to the new fresh name generator	commit \| commitdiff \| tree
2005-07-07	Enrico Tassi	fixed a problem when newScript was called	commit \| commitdiff \| tree
2005-07-07	Enrico Tassi	removed gdom2 dep	commit \| commitdiff \| tree
2005-07-06	Enrico Tassi	some more tests	commit \| commitdiff \| tree
2005-07-06	Enrico Tassi	check on baseuri	commit \| commitdiff \| tree
2005-07-06	Enrico Tassi	added tests for contructor and clearbody	commit \| commitdiff \| tree
2005-07-06	Enrico Tassi	added test for change	commit \| commitdiff \| tree
2005-07-06	Enrico Tassi	added test for assumption	commit \| commitdiff \| tree
2005-07-06	Enrico Tassi	clear now fails if the hypothesys doesnt exist, and...	commit \| commitdiff \| tree
2005-07-06	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-07-06	Enrico Tassi	added script template	commit \| commitdiff \| tree
2005-07-06	Enrico Tassi	now it doesn't try to apply a cleared hypothesis	commit \| commitdiff \| tree
2005-07-06	Enrico Tassi	matita now asks to save .moo if possible or cleans...	commit \| commitdiff \| tree
2005-07-05	Enrico Tassi	function to domp moo_content is now exported	commit \| commitdiff \| tree
2005-07-05	Enrico Tassi	now the moo contains also composed coercions (and It...	commit \| commitdiff \| tree
2005-07-05	Enrico Tassi	added mark moving refresh	commit \| commitdiff \| tree
2005-07-04	Enrico Tassi	aded confirmation dialog for baseuri redefinement	commit \| commitdiff \| tree
2005-07-04	Enrico Tassi	moo do not depend on .depend	commit \| commitdiff \| tree
2005-07-04	Enrico Tassi	center on parent now works for ask_confirmation dialog	commit \| commitdiff \| tree
2005-07-04	Enrico Tassi	matitaclean splitted in matitacleanLib and matitaclean.	commit \| commitdiff \| tree
2005-07-04	Enrico Tassi	matitaclean now call getter.ls using a buri with a...	commit \| commitdiff \| tree
2005-07-01	Enrico Tassi	may fix the nigtly build	commit \| commitdiff \| tree
2005-07-01	Enrico Tassi	more makefile work	commit \| commitdiff \| tree
2005-07-01	Enrico Tassi	ma -> moo in dependencies	commit \| commitdiff \| tree
2005-07-01	Enrico Tassi	now maketests uses matitaclean (but not in the right...	commit \| commitdiff \| tree
2005-07-01	Enrico Tassi	first snapshot of separate compilation	commit \| commitdiff \| tree
2005-07-01	Enrico Tassi	on is now a keyword (needed in let rec)	commit \| commitdiff \| tree
2005-07-01	Enrico Tassi	added uri_is_ind	commit \| commitdiff \| tree
2005-07-01	Enrico Tassi	uri_of_string now checks the uri is well formed	commit \| commitdiff \| tree
2005-07-01	Enrico Tassi	in case of performace improvement there is no performace...	commit \| commitdiff \| tree
2005-06-30	Enrico Tassi	matitaclean anapshot	commit \| commitdiff \| tree
2005-06-30	Enrico Tassi	buri_of_uri is now #xpointer aware.	commit \| commitdiff \| tree
2005-06-30	Enrico Tassi	first matitadep snapshot	commit \| commitdiff \| tree
2005-06-29	Enrico Tassi	removed profiling function (now a stub is used instead)	commit \| commitdiff \| tree
2005-06-29	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-06-29	Enrico Tassi	now baseuri is needed in each file (and its redefinition...	commit \| commitdiff \| tree
2005-06-29	Enrico Tassi	fixed some errers in the save/cancel ...	commit \| commitdiff \| tree
2005-06-29	Enrico Tassi	catches more errors	commit \| commitdiff \| tree
2005-06-29	Enrico Tassi	fixed save/exit stuff	commit \| commitdiff \| tree
2005-06-29	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-06-29	Enrico Tassi	the error_report window is now properly closed	commit \| commitdiff \| tree
2005-06-28	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-06-28	Enrico Tassi	better message	commit \| commitdiff \| tree
2005-06-28	Enrico Tassi	* new binary matitatop	commit \| commitdiff \| tree
2005-06-28	Enrico Tassi	added Drop	commit \| commitdiff \| tree
2005-06-28	Enrico Tassi	misc -> domMisc	commit \| commitdiff \| tree
2005-06-28	Enrico Tassi	added "are you sure you want to quit with usaved script?"	commit \| commitdiff \| tree
2005-06-27	Enrico Tassi	added autosave and * (modified feature)	commit \| commitdiff \| tree
2005-06-27	Enrico Tassi	fized disambiguation of LApply	commit \| commitdiff \| tree
2005-06-27	Enrico Tassi	support for _ in binders, and a more coplex pattern...	commit \| commitdiff \| tree
2005-06-27	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-06-27	Enrico Tassi	more complex	commit \| commitdiff \| tree
2005-06-27	Enrico Tassi	1) moved select and pattern_of from cicUtil to proofEngineHe...	commit \| commitdiff \| tree
2005-06-27	Enrico Tassi	more detailed but less verbose and annoying report	commit \| commitdiff \| tree
2005-06-27	Enrico Tassi	fixed LApply pretty printing	commit \| commitdiff \| tree
2005-06-27	Enrico Tassi	minor fixes	commit \| commitdiff \| tree
2005-06-26	Enrico Tassi	the web interface for the benchmarking system	commit \| commitdiff \| tree
2005-06-24	Enrico Tassi	new implementation (due to paths).	commit \| commitdiff \| tree
2005-06-24	Enrico Tassi	stupid rename	commit \| commitdiff \| tree
2005-06-24	Enrico Tassi	now we use rplace_lifting_csc since the what must NOT...	commit \| commitdiff \| tree
2005-06-24	Enrico Tassi	fixed select (not Implicit (Some `TYPE) is handled)	commit \| commitdiff \| tree
2005-06-24	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-06-24	Enrico Tassi	fix	commit \| commitdiff \| tree
next

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

RSS Atom