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

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

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
2005-04-28	Enrico Tassi	single INSERT on multiple tuples	commit \| commitdiff \| tree
2005-04-28	Enrico Tassi	added hbugs and mathql	commit \| commitdiff \| tree
2005-02-14	Enrico Tassi	added choose_uri method to console, used by the interpreter...	commit \| commitdiff \| tree
2005-02-14	Enrico Tassi	Added heuristic in the Appl case, we beta-expand only...	commit \| commitdiff \| tree
2005-02-14	Enrico Tassi	Fixed remove operation and get_obj (that now correctly...	commit \| commitdiff \| tree
2005-02-08	Enrico Tassi	at_least now supports the ownerized tables	commit \| commitdiff \| tree
2005-02-07	Enrico Tassi	removed chosenTransformer.ml*	commit \| commitdiff \| tree
2005-02-07	Enrico Tassi	removed chosenTransformer.mli	commit \| commitdiff \| tree
2005-02-07	Enrico Tassi	sync with Xml.pp	commit \| commitdiff \| tree
2005-02-04	Enrico Tassi	fixed Gzip bug in Xml.pp	commit \| commitdiff \| tree
2005-02-04	Enrico Tassi	saves to gzip	commit \| commitdiff \| tree
2005-02-04	Enrico Tassi	added library table and owner tables handling in the...	commit \| commitdiff \| tree
2005-02-04	Enrico Tassi	locate now searched bot the standard library and the...	commit \| commitdiff \| tree
2005-02-04	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-02-03	Enrico Tassi	fixed currentproof	commit \| commitdiff \| tree
2005-02-03	Enrico Tassi	better owner hadling	commit \| commitdiff \| tree
2005-02-03	Enrico Tassi	MetadataDb.clean doesn't need ~owner since table names...	commit \| commitdiff \| tree
2005-02-03	Enrico Tassi	owners table not needed	commit \| commitdiff \| tree
2005-02-03	Enrico Tassi	added new ownerize function	commit \| commitdiff \| tree
2005-02-03	Enrico Tassi	new metadataTypes interface (with ownerize function)	commit \| commitdiff \| tree
2005-02-03	Enrico Tassi	removed uri parameter from load_proof	commit \| commitdiff \| tree
2005-02-01	Enrico Tassi	reverder change. no more owner passed to the locate.	commit \| commitdiff \| tree
2005-02-01	Enrico Tassi	added owner support to the disambiguator (now locate...	commit \| commitdiff \| tree
2005-02-01	Enrico Tassi	* empty log message *	commit \| commitdiff \| tree
2005-02-01	Enrico Tassi	added `Coer print_kind	commit \| commitdiff \| tree
2005-02-01	Enrico Tassi	Added Coer/Coercions print_kind	commit \| commitdiff \| tree
2005-02-01	Enrico Tassi	MetadataDB.clean now cleans the getter maps (calling...	commit \| commitdiff \| tree
2005-02-01	Enrico Tassi	fix in the coercions list generation and aded a function...	commit \| commitdiff \| tree
2005-02-01	Enrico Tassi	added the unregister method to the help page	commit \| commitdiff \| tree
2005-02-01	Enrico Tassi	fixed coercions	commit \| commitdiff \| tree
2005-02-01	Enrico Tassi	removed debug print	commit \| commitdiff \| tree
2005-02-01	Enrico Tassi	cosmetic fix to pp_location	commit \| commitdiff \| tree
2005-01-31	Enrico Tassi	added save_object_to_disk and basedir	commit \| commitdiff \| tree
2005-01-31	Enrico Tassi	added delift	commit \| commitdiff \| tree
2005-01-31	Enrico Tassi	added basedir and improved let{rec} syntax	commit \| commitdiff \| tree
2005-01-31	Enrico Tassi	better debug prints	commit \| commitdiff \| tree
2005-01-31	Enrico Tassi	added Basedir Ast	commit \| commitdiff \| tree
2005-01-31	Enrico Tassi	Added outtype inference to MutCase	commit \| commitdiff \| tree
2005-01-31	Enrico Tassi	Fixed bug in delift. The recursive call in the Meta...	commit \| commitdiff \| tree
2005-01-25	Enrico Tassi	- removed applyStylesheets	commit \| commitdiff \| tree
2005-01-25	Enrico Tassi	added list_obj and list_uri	commit \| commitdiff \| tree
2005-01-25	Enrico Tassi	- added code for Coercion command, Print Env command.	commit \| commitdiff \| tree
2005-01-21	Enrico Tassi	- sync with the new ApplyTransformation API	commit \| commitdiff \| tree
2005-01-21	Enrico Tassi	- Changed ApplyTransformation API to return both the...	commit \| commitdiff \| tree
2005-01-19	Enrico Tassi	coercion application	commit \| commitdiff \| tree
2005-01-19	Enrico Tassi	fix coercGraph.mli	commit \| commitdiff \| tree
2005-01-19	Enrico Tassi	fixed #xpointer handling in uri_of_string. new examples :	commit \| commitdiff \| tree
2005-01-19	Enrico Tassi	Added coercion handling module	commit \| commitdiff \| tree
2005-01-18	Enrico Tassi	fixed comments	commit \| commitdiff \| tree
2005-01-17	Enrico Tassi	new cicEnvironment implementation	commit \| commitdiff \| tree
2005-01-12	Enrico Tassi	fixed clean_and_fill	commit \| commitdiff \| tree
2005-01-12	Enrico Tassi	fixed bug in fill_and_clean (now the helper universes_of_obj...	commit \| commitdiff \| tree
2005-01-10	Enrico Tassi	added begin list and end list comments to help moogle...	commit \| commitdiff \| tree
2004-12-02	Enrico Tassi	sync with universes and ~subst (and not ?(subst=[]))	commit \| commitdiff \| tree
2004-12-01	Enrico Tassi	Added universes handling. Tag PRE_UNIVERSES may help ;)	commit \| commitdiff \| tree
2004-12-01	Enrico Tassi	Added universes handling. The PRE_UNIVERSES tag may...	commit \| commitdiff \| tree
2004-06-02	Enrico Tassi	fix for proofEngineTypes.mli	commit \| commitdiff \| tree
2004-06-01	Enrico Tassi	new universes implementation	commit \| commitdiff \| tree
2004-04-23	Enrico Tassi	Universes introduction	commit \| commitdiff \| tree
2004-04-22	Enrico Tassi	Big bug fixed: in the case t <?= ?1, the instantiation...	commit \| commitdiff \| tree
2004-04-22	Enrico Tassi	fourier.mli addedto interface files.	commit \| commitdiff \| tree
2002-11-04	Enrico Tassi	bug found:	commit \| commitdiff \| tree
2002-10-25	Enrico Tassi	Now esempi/fourier.cic end with a proof!	commit \| commitdiff \| tree
2002-10-17	Enrico Tassi	- indentation is now in pseudo-functional style!	commit \| commitdiff \| tree
2002-10-17	Enrico Tassi	- rewritesimpl_tac added in fourierR.ml (wrong location)	commit \| commitdiff \| tree
2002-10-11	Enrico Tassi	More debug printings.	commit \| commitdiff \| tree
2002-10-10	Enrico Tassi	Added an example to test fourier_tac.	commit \| commitdiff \| tree
2002-10-10	Enrico Tassi	Debug printing update, now the unification bug	commit \| commitdiff \| tree
2002-10-07	Enrico Tassi	fourier_tac without useless recursion	commit \| commitdiff \| tree
2002-10-07	Enrico Tassi	hopefully last tactic update cvs log	commit \| commitdiff \| tree
2002-10-02	Enrico Tassi	tactic update	commit \| commitdiff \| tree
2002-09-19	Enrico Tassi	Tactic update	commit \| commitdiff \| tree
2002-09-18	Enrico Tassi	Tactic update	commit \| commitdiff \| tree
2002-09-13	Enrico Tassi	Fourier tactic update	commit \| commitdiff \| tree
2002-09-09	Enrico Tassi	Fourier tactic update	commit \| commitdiff \| tree
2002-09-07	Enrico Tassi	First works	commit \| commitdiff \| tree
2002-09-04	Enrico Tassi	Fourier tactic	commit \| commitdiff \| tree

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

RSS Atom