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

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

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
2005-06-01	Enrico Tassi	fixed intro.	commit \| commitdiff \| tree
2005-06-01	Enrico Tassi	added C.Appl [] case	commit \| commitdiff \| tree
2005-05-31	Enrico Tassi	added comment	commit \| commitdiff \| tree
2005-05-31	Enrico Tassi	implemented normalize (used in new_metasenv_for_apply)	commit \| commitdiff \| tree
2005-05-31	Enrico Tassi	fixed width fonts	commit \| commitdiff \| tree
2005-05-31	Enrico Tassi	fixed comments	commit \| commitdiff \| tree
2005-05-31	Enrico Tassi	new shortcuts	commit \| commitdiff \| tree
2005-05-31	Enrico Tassi	added automathic aliases for qed and definition	commit \| commitdiff \| tree
2005-05-31	Enrico Tassi	added shortcuts	commit \| commitdiff \| tree
2005-05-31	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-05-30	Enrico Tassi	mah...matita.ml	commit \| commitdiff \| tree
2005-05-27	Enrico Tassi	removed debug prerr_endline	commit \| commitdiff \| tree
2005-05-27	Enrico Tassi	fixed matitac	commit \| commitdiff \| tree
2005-05-25	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-05-25	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-05-25	Enrico Tassi	apply now tries both to reduce and to not reduce the...	commit \| commitdiff \| tree
2005-05-25	Enrico Tassi	\lambda x.x y ----> \lambda x.(x y)	commit \| commitdiff \| tree
2005-05-24	Enrico Tassi	reverted to ==	commit \| commitdiff \| tree
2005-05-24	Enrico Tassi	added .theory check	commit \| commitdiff \| tree
2005-05-24	Enrico Tassi	fixed missing -syntax when using ocamlopt	commit \| commitdiff \| tree
2005-05-24	Enrico Tassi	fixed precedence of \to	commit \| commitdiff \| tree
2005-05-24	Enrico Tassi	added simpl test script	commit \| commitdiff \| tree
next

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

RSS Atom