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

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

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
2005-06-24	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-06-24	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-06-24	Enrico Tassi	snapshot	commit \| commitdiff \| tree
2005-06-24	Enrico Tassi	shanpshot	commit \| commitdiff \| tree
2005-06-24	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-06-24	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-06-24	Enrico Tassi	nigth-bench snapshot	commit \| commitdiff \| tree
2005-06-24	Enrico Tassi	matita.conf.xml.sample now has a @@OWNER@@ so that...	commit \| commitdiff \| tree
2005-06-24	Enrico Tassi	added a getter maps updater	commit \| commitdiff \| tree
2005-06-24	Enrico Tassi	first snapshot of the night-profiling	commit \| commitdiff \| tree
2005-06-23	Enrico Tassi	Much simpler (and slightly more performant) implementation...	commit \| commitdiff \| tree
2005-06-23	Enrico Tassi	aded prifiler factory	commit \| commitdiff \| tree
2005-06-22	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-06-22	Enrico Tassi	fixed +1 numbering (added when the memory consuming...	commit \| commitdiff \| tree
2005-06-22	Enrico Tassi	removed memory wasting foldright	commit \| commitdiff \| tree
2005-06-22	Enrico Tassi	string -> uri	commit \| commitdiff \| tree
2005-06-18	Enrico Tassi	fixed increase/decrease size feature	commit \| commitdiff \| tree
2005-06-17	Enrico Tassi	support for goal patterns	commit \| commitdiff \| tree
2005-06-17	Enrico Tassi	uses new pattern concrete syntax	commit \| commitdiff \| tree
2005-06-17	Enrico Tassi	added support for goal patterns	commit \| commitdiff \| tree
2005-06-17	Enrico Tassi	concrete syntax for goal patterns	commit \| commitdiff \| tree
2005-06-17	Enrico Tassi	added support for patterns current goal	commit \| commitdiff \| tree
2005-06-17	Enrico Tassi	changed select so that it returns a list of pairs ...	commit \| commitdiff \| tree
2005-06-16	Enrico Tassi	added decrease and increase font size fantafeature	commit \| commitdiff \| tree
2005-06-16	Enrico Tassi	added utility to dump some tables of the db on mowgli	commit \| commitdiff \| tree
2005-06-15	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-06-15	Enrico Tassi	sync with new typecheck prototype (no more univ graph)	commit \| commitdiff \| tree
2005-06-15	Enrico Tassi	apply_tac used to calculate the type of the term before...	commit \| commitdiff \| tree
2005-06-15	Enrico Tassi	are_convertible on MutCase was no longer checking the...	commit \| commitdiff \| tree
2005-06-14	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-06-14	Enrico Tassi	removed ocaml-pxp	commit \| commitdiff \| tree
2005-06-14	Enrico Tassi	hack to compile on gazelle	commit \| commitdiff \| tree
2005-06-14	Enrico Tassi	added fullscreen menu item	commit \| commitdiff \| tree
2005-06-13	Enrico Tassi	cosmetic fix	commit \| commitdiff \| tree
2005-06-13	Enrico Tassi	renamed	commit \| commitdiff \| tree
2005-06-13	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-06-13	Enrico Tassi	F2 hides the tactics buttons bar	commit \| commitdiff \| tree
2005-06-13	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-06-13	Enrico Tassi	added syntax hilight for temperino	commit \| commitdiff \| tree
2005-06-13	Enrico Tassi	removed prerr_endline	commit \| commitdiff \| tree
2005-06-13	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-06-13	Enrico Tassi	error	commit \| commitdiff \| tree
2005-06-13	Enrico Tassi	moved to xmlPushParser	commit \| commitdiff \| tree
2005-06-13	Enrico Tassi	fixed error in comment	commit \| commitdiff \| tree
2005-06-10	Enrico Tassi	added_test	commit \| commitdiff \| tree
2005-06-10	Enrico Tassi	added records	commit \| commitdiff \| tree
2005-06-10	Enrico Tassi	added mk_rel	commit \| commitdiff \| tree
2005-06-10	Enrico Tassi	added records pp, ast and fixed a bug in match with...	commit \| commitdiff \| tree
2005-06-10	Enrico Tassi	added record generation modules	commit \| commitdiff \| tree
2005-06-10	Enrico Tassi	added record generation module	commit \| commitdiff \| tree
2005-06-09	Enrico Tassi	added debug item for coercion	commit \| commitdiff \| tree
2005-06-09	Enrico Tassi	added \n to "file saved" message	commit \| commitdiff \| tree
2005-06-09	Enrico Tassi	added whd before uri_of_term	commit \| commitdiff \| tree
2005-06-09	Enrico Tassi	removed debug prints	commit \| commitdiff \| tree
2005-06-09	Enrico Tassi	fixed remove_coercion	commit \| commitdiff \| tree
2005-06-07	Enrico Tassi	added test for coercions	commit \| commitdiff \| tree
2005-06-07	Enrico Tassi	added coercions	commit \| commitdiff \| tree
2005-06-07	Enrico Tassi	removed coercions from status	commit \| commitdiff \| tree
2005-06-07	Enrico Tassi	added support for coercions	commit \| commitdiff \| tree
2005-06-07	Enrico Tassi	added letin	commit \| commitdiff \| tree
2005-06-07	Enrico Tassi	added syntax for letin	commit \| commitdiff \| tree
2005-06-07	Enrico Tassi	1) Implemented inference of the outtype for empty inductive...	commit \| commitdiff \| tree
2005-06-07	Enrico Tassi	changed match syntax:	commit \| commitdiff \| tree
2005-06-07	Enrico Tassi	added whd to match argument in guarded_by_destructors;	commit \| commitdiff \| tree
2005-06-07	Enrico Tassi	added Pp of Cast	commit \| commitdiff \| tree
2005-06-01	Enrico Tassi	fix_escaping	commit \| commitdiff \| tree
2005-06-01	Enrico Tassi	reduce with path	commit \| commitdiff \| tree
2005-06-01	Enrico Tassi	paths trough terms implemented with a nice hack :)	commit \| commitdiff \| tree
2005-06-01	Enrico Tassi	some cosmetic fixes	commit \| commitdiff \| tree
2005-06-01	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-06-01	Enrico Tassi	removed debug prerr_endline	commit \| commitdiff \| tree
2005-06-01	Enrico Tassi	fixed classical non-C programmer misunderstooding of...	commit \| commitdiff \| tree
next

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

RSS Atom