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

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

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
2005-05-03	Enrico Tassi	added table_creator (comman line frontend to SqlStatements)	commit \| commitdiff \| tree
2005-05-03	Enrico Tassi	added sqlStatements module (contains all CREATE TABLE...	commit \| commitdiff \| tree
2005-05-03	Enrico Tassi	added instance	commit \| commitdiff \| tree
2005-05-03	Enrico Tassi	fix for instance	commit \| commitdiff \| tree
2005-05-02	Enrico Tassi	attached auto	commit \| commitdiff \| tree
2005-05-02	Enrico Tassi	attached auto	commit \| commitdiff \| tree
2005-05-02	Enrico Tassi	added the count table	commit \| commitdiff \| tree
2005-05-02	Enrico Tassi	added Match (partially) and sync with the count table	commit \| commitdiff \| tree
2005-05-02	Enrico Tassi	added ast for Match	commit \| commitdiff \| tree
2005-05-02	Enrico Tassi	removed no_inconcl_aux, no_concl_hyp, no_hyp and added...	commit \| commitdiff \| tree
2005-04-29	Enrico Tassi	added more assertions on universes when loaded from...	commit \| commitdiff \| tree
2005-04-29	Enrico Tassi	added the orrible hack to the parser that is needed...	commit \| commitdiff \| tree
2005-04-29	Enrico Tassi	hint -> experimental_hint	commit \| commitdiff \| tree
2005-04-29	Enrico Tassi	main constants set is closed with constants types	commit \| commitdiff \| tree
2005-04-29	Enrico Tassi	UniverseInconsistency is now wrapper by CicRefine.type_of_au...	commit \| commitdiff \| tree
2005-04-29	Enrico Tassi	no more moogle... now whelp (config file name and daemon...	commit \| commitdiff \| tree
2005-04-29	Enrico Tassi	added dump/restore environment to the debug menu	commit \| commitdiff \| tree
2005-04-29	Enrico Tassi	added orrible hack to make the current uri visible...	commit \| commitdiff \| tree
2005-04-29	Enrico Tassi	catched UniverseInconsistency	commit \| commitdiff \| tree
2005-04-29	Enrico Tassi	added parsing time benchmark	commit \| commitdiff \| tree
2005-04-29	Enrico Tassi	fixed a typo	commit \| commitdiff \| tree
2005-04-29	Enrico Tassi	added parser benchamrk	commit \| commitdiff \| tree
2005-04-28	Enrico Tassi	attached macros: hint(partial), check	commit \| commitdiff \| tree
2005-04-28	Enrico Tassi	moved "hint" from Command to Macro	commit \| commitdiff \| tree
2005-04-28	Enrico Tassi	deactivated coercions	commit \| commitdiff \| tree
next

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

RSS Atom