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

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

2005-11-15	Enrico Tassi	fixed self and removed more DUMMY... only one left	commit \| commitdiff \| tree
2005-11-15	Enrico Tassi	added print_grammar	commit \| commitdiff \| tree
2005-11-15	Enrico Tassi	removed duplicate entry	commit \| commitdiff \| tree
2005-11-14	Enrico Tassi	dded missing catch for coercions	commit \| commitdiff \| tree
2005-11-11	Enrico Tassi	added an example of reduction of R' and some comments...	commit \| commitdiff \| tree
2005-11-08	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-11-08	Enrico Tassi	fixed inductive types demonstrations	commit \| commitdiff \| tree
2005-11-08	Enrico Tassi	added some stuff on inductive types	commit \| commitdiff \| tree
2005-11-04	Enrico Tassi	since the outtype is now refined correclty some types...	commit \| commitdiff \| tree
2005-11-04	Enrico Tassi	refined outtype used to be discharged	commit \| commitdiff \| tree
2005-11-04	Enrico Tassi	make profiler silent	commit \| commitdiff \| tree
2005-11-04	Enrico Tassi	added calbback to make the profiler silent	commit \| commitdiff \| tree
2005-11-03	Enrico Tassi	added documentation on allowed eliminations	commit \| commitdiff \| tree
2005-11-02	Enrico Tassi	() around tactic terms	commit \| commitdiff \| tree
2005-11-02	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-10-28	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-10-28	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-10-28	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-10-28	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-10-25	Enrico Tassi	fixed -debug	commit \| commitdiff \| tree
2005-10-25	Enrico Tassi	moved the expansion of implicits inside the refiner...	commit \| commitdiff \| tree
2005-10-25	Enrico Tassi	fixed lapply on new tinycals semantic	commit \| commitdiff \| tree
2005-10-17	Enrico Tassi	added coercions to Prod	commit \| commitdiff \| tree
2005-10-13	Enrico Tassi	added few proofs	commit \| commitdiff \| tree
2005-10-12	Enrico Tassi	few more cases	commit \| commitdiff \| tree
2005-10-11	Enrico Tassi	added few cases	commit \| commitdiff \| tree
2005-10-11	Enrico Tassi	fixed some typos	commit \| commitdiff \| tree
2005-10-05	Enrico Tassi	aded hmysql/	commit \| commitdiff \| tree
2005-10-03	Enrico Tassi	the filled object is inserted in the env after a successful...	commit \| commitdiff \| tree
2005-10-03	Enrico Tassi	fixed clean_and_fill that now fills the object (used...	commit \| commitdiff \| tree
2005-10-03	Enrico Tassi	moved to fast implementation and fixed a bug in the...	commit \| commitdiff \| tree
2005-09-26	Enrico Tassi	fix WE HAVE NO UNIVERSE	commit \| commitdiff \| tree
2005-09-26	Enrico Tassi	./matitaclean all removes all	commit \| commitdiff \| tree
2005-09-26	Enrico Tassi	MatitacleanLib.remove_baseuris will remove empty directories.	commit \| commitdiff \| tree
2005-09-23	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-09-23	Enrico Tassi	universes are saved to disk	commit \| commitdiff \| tree
2005-09-23	Enrico Tassi	added universes list handling	commit \| commitdiff \| tree
2005-09-23	Enrico Tassi	added universes	commit \| commitdiff \| tree
2005-09-23	Enrico Tassi	added parsing of Type:N	commit \| commitdiff \| tree
2005-09-23	Enrico Tassi	a wrong exception was raised	commit \| commitdiff \| tree
2005-09-23	Enrico Tassi	added support for universes uri ".univ"	commit \| commitdiff \| tree
2005-09-21	Enrico Tassi	clean_and_fill optimization	commit \| commitdiff \| tree
2005-09-20	Enrico Tassi	fixed matitadep: now it should consider ALL depndencies	commit \| commitdiff \| tree
2005-09-20	Enrico Tassi	added a minimal parser to extract informations relevant...	commit \| commitdiff \| tree
2005-09-20	Enrico Tassi	all initialization code is now in the new matitaInit...	commit \| commitdiff \| tree
2005-09-20	Enrico Tassi	matitadep now parses notation.	commit \| commitdiff \| tree
2005-09-20	Enrico Tassi	development windows now avoids doing an anction selecting...	commit \| commitdiff \| tree
2005-09-16	Enrico Tassi	added a function to reorder the metasenv.	commit \| commitdiff \| tree
2005-09-14	Enrico Tassi	bugfixes:	commit \| commitdiff \| tree
2005-09-13	Enrico Tassi	we have to pass back lastmeta and not newmeta (newmeta...	commit \| commitdiff \| tree
2005-09-09	Enrico Tassi	the case Appl Meta vs t was not executed in case t...	commit \| commitdiff \| tree
2005-09-09	Enrico Tassi	workaround for sequent viewer flickering	commit \| commitdiff \| tree
2005-09-09	Enrico Tassi	added left/right	commit \| commitdiff \| tree
2005-09-05	Enrico Tassi	fix generation of applications of applications.	commit \| commitdiff \| tree
2005-09-05	Enrico Tassi	added @raise in comment (and source)	commit \| commitdiff \| tree
2005-09-05	Enrico Tassi	simplify and let-in	commit \| commitdiff \| tree
2005-09-05	Enrico Tassi	The popup that asks to generate .moo for a .ma shows...	commit \| commitdiff \| tree
2005-07-27	Enrico Tassi	fixed matitamake to handle development with names with...	commit \| commitdiff \| tree
2005-07-27	Enrico Tassi	matitaMisc.ml	commit \| commitdiff \| tree
2005-07-27	Enrico Tassi	safe mkdir implemented	commit \| commitdiff \| tree
2005-07-26	Enrico Tassi	bigger disambiguate chiuches win	commit \| commitdiff \| tree
2005-07-26	Enrico Tassi	...	commit \| commitdiff \| tree
2005-07-25	Enrico Tassi	building/cleaning a devel now makes buttons insensitive	commit \| commitdiff \| tree
2005-07-22	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-07-22	Enrico Tassi	add_obj is ATOMIC	commit \| commitdiff \| tree
2005-07-22	Enrico Tassi	some prerr to better understand the mkdir -p error	commit \| commitdiff \| tree
2005-07-22	Enrico Tassi	added env content debug print	commit \| commitdiff \| tree
2005-07-20	Enrico Tassi	better handling of backgroud compiler process	commit \| commitdiff \| tree
2005-07-19	Enrico Tassi	blocked undo of authomatic text (template)	commit \| commitdiff \| tree
2005-07-19	Enrico Tassi	message if the duplicate check may take too long	commit \| commitdiff \| tree
2005-07-19	Enrico Tassi	matitac now automatically cleans a non empty baseuri	commit \| commitdiff \| tree
2005-07-19	Enrico Tassi	avoids generating a wrong/empty/dummy depend	commit \| commitdiff \| tree
2005-07-19	Enrico Tassi	Bug fixed: matitaclean and matitadep now ignores every...	commit \| commitdiff \| tree
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
next

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

RSS Atom