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

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

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
2005-05-24	Enrico Tassi	added simpl	commit \| commitdiff \| tree
2005-05-24	Enrico Tassi	fixed syntax	commit \| commitdiff \| tree
2005-05-24	Enrico Tassi	new simpl semantic (now = and not == since you can...	commit \| commitdiff \| tree
2005-05-24	Enrico Tassi	added lost elim_intros_tac	commit \| commitdiff \| tree
2005-05-23	Enrico Tassi	fixed clean that wasn't returning the right list of...	commit \| commitdiff \| tree
2005-05-23	Enrico Tassi	added qed	commit \| commitdiff \| tree
2005-05-19	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-05-18	Enrico Tassi	fixed some macros, added test_abort.ma	commit \| commitdiff \| tree
2005-05-18	Enrico Tassi	fixed some TODO in content2pres	commit \| commitdiff \| tree
2005-05-17	Enrico Tassi	fixed whelp bar	commit \| commitdiff \| tree
2005-05-17	Enrico Tassi	fixed Whelp stuff	commit \| commitdiff \| tree
2005-05-17	Enrico Tassi	aded comment	commit \| commitdiff \| tree
2005-05-16	Enrico Tassi	added images	commit \| commitdiff \| tree
2005-05-16	Enrico Tassi	added examples	commit \| commitdiff \| tree
2005-05-16	Enrico Tassi	added comments, fixed history, added loadList to browser	commit \| commitdiff \| tree
2005-05-16	Enrico Tassi	some hacks to make the sequent window pretty nice	commit \| commitdiff \| tree
2005-05-16	Enrico Tassi	fixed instance	commit \| commitdiff \| tree
2005-05-16	Enrico Tassi	added comments	commit \| commitdiff \| tree
2005-05-13	Enrico Tassi	better table creator	commit \| commitdiff \| tree
2005-05-13	Enrico Tassi	fix bad space	commit \| commitdiff \| tree
2005-05-13	Enrico Tassi	now the extractor manager renames the tables (old tables...	commit \| commitdiff \| tree
2005-05-13	Enrico Tassi	some more statements	commit \| commitdiff \| tree
2005-05-13	Enrico Tassi	added index on refRel and the rename table statements	commit \| commitdiff \| tree
2005-05-12	Enrico Tassi	fixed memory leak (workaround)	commit \| commitdiff \| tree
2005-05-06	Enrico Tassi	added syntax for rewrite (TODO no rewrite-in-Hyp syntax)	commit \| commitdiff \| tree
2005-05-06	Enrico Tassi	factorization of rewrite.	commit \| commitdiff \| tree
2005-05-04	Enrico Tassi	added extractor_manager	commit \| commitdiff \| tree
2005-05-03	Enrico Tassi	added new extractor based on MetadataDb.index_obj	commit \| commitdiff \| tree
2005-05-03	Enrico Tassi	sync with SqlStatements	commit \| commitdiff \| tree
2005-05-03	Enrico Tassi	added DROP statements to sqlStatements	commit \| commitdiff \| tree
2005-05-03	Enrico Tassi	more friendly sqlStatements api	commit \| commitdiff \| tree
2005-05-03	Enrico Tassi	added examples	commit \| commitdiff \| tree
next

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

RSS Atom