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

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

2010-12-10	Andrea Asperti	New syntax -H1 .. Hn for clear	commit \| commitdiff \| tree
2010-12-10	Andrea Asperti	Patch to avoid double creation of metavariables changed...	commit \| commitdiff \| tree
2010-12-06	Andrea Asperti	exp and factorial	commit \| commitdiff \| tree
2010-12-06	Andrea Asperti	some progress	commit \| commitdiff \| tree
2010-12-03	Andrea Asperti	It is now possible to pass a ${ident x} to another...	commit \| commitdiff \| tree
2010-11-29	Andrea Asperti	Propagation of left expected parameters in typeof.	commit \| commitdiff \| tree
2010-11-26	Andrea Asperti	- GREAT: when unifying ?1 : Type[i] with ?2: Type...	commit \| commitdiff \| tree
2010-11-22	Andrea Asperti	Small improvement: check now takes the context of the...	commit \| commitdiff \| tree
2010-11-22	Andrea Asperti	Some arithmetics.	commit \| commitdiff \| tree
2010-11-19	Andrea Asperti	Implementation of proof irrelevance finished.	commit \| commitdiff \| tree
2010-11-18	Andrea Asperti	Debugging disabled	commit \| commitdiff \| tree
2010-11-18	Andrea Asperti	- auto now uses the equality of the new library	commit \| commitdiff \| tree
2010-11-18	Andrea Asperti	- dead code removed	commit \| commitdiff \| tree
2010-11-18	Andrea Asperti	- number notation ported to new library	commit \| commitdiff \| tree
2010-11-18	Andrea Asperti	Number notation ported to new library.	commit \| commitdiff \| tree
2010-11-18	Andrea Asperti	Invariant dropped: NotationPt.NCic t can now contain...	commit \| commitdiff \| tree
2010-11-18	Andrea Asperti	Bug fixed: analysing inductive type that contains implicit...	commit \| commitdiff \| tree
2010-11-11	Andrea Asperti	let and let rec used wrong tokens	commit \| commitdiff \| tree
2010-11-08	Andrea Asperti	Big bug fixed: grafiteDisambiguate.add_aliases_for_objects...	commit \| commitdiff \| tree
2010-11-05	Andrea Asperti	- bug fixed: circular dependencies are now detected...	commit \| commitdiff \| tree
2010-11-05	Andrea Asperti	now implemented in matitaEngine.ml	commit \| commitdiff \| tree
2010-11-05	Andrea Asperti	Huge change!!!	commit \| commitdiff \| tree
2010-11-05	Andrea Asperti	- better names, interface simplified	commit \| commitdiff \| tree
2010-11-05	Andrea Asperti	- cleanup	commit \| commitdiff \| tree
2010-11-05	Andrea Asperti	- matitacLib merged into matitaEngine	commit \| commitdiff \| tree
2010-11-05	Andrea Asperti	- dead code removed	commit \| commitdiff \| tree
2010-11-05	Andrea Asperti	- useless code removed	commit \| commitdiff \| tree
2010-11-05	Andrea Asperti	dead code removal: the parser used to be able to return...	commit \| commitdiff \| tree
2010-11-05	Andrea Asperti	more dead code removal	commit \| commitdiff \| tree
2010-11-05	Andrea Asperti	dead code removed	commit \| commitdiff \| tree
2010-11-05	Andrea Asperti	- recently introduced bug fixed: the new intermediate...	commit \| commitdiff \| tree
2010-11-05	Andrea Asperti	- refreshing of uris in NotationPt.terms implemented	commit \| commitdiff \| tree
2010-11-05	Andrea Asperti	- lexicon merged into ng_disambiguation	commit \| commitdiff \| tree
2010-11-05	Andrea Asperti	- lexiconSync merged into grafiteDisambiguate	commit \| commitdiff \| tree
2010-11-04	Andrea Asperti	- dandling code (to be put somewhere) implementing...	commit \| commitdiff \| tree
2010-11-04	Andrea Asperti	- interpretations are now saved in the .ng files	commit \| commitdiff \| tree
2010-11-04	Andrea Asperti	- Print/Set commands removed	commit \| commitdiff \| tree
2010-11-03	Andrea Asperti	- LexiconAst merged into GrafiteAst	commit \| commitdiff \| tree
2010-10-29	Andrea Asperti	WARNING: partial commit (does not compile)	commit \| commitdiff \| tree
2010-10-29	Andrea Asperti	- grammar of // changed to move the justification inside;	commit \| commitdiff \| tree
2010-10-27	Andrea Asperti	Dead code for .moo files removed.	commit \| commitdiff \| tree
2010-10-27	Andrea Asperti	.moo no longer used: all interesting data is left in...	commit \| commitdiff \| tree
2010-10-27	Andrea Asperti	Bug fixed: heuristic to detect real URIs used to raise...	commit \| commitdiff \| tree
2010-10-27	Andrea Asperti	old standard library no longer included	commit \| commitdiff \| tree
2010-10-26	Andrea Asperti	urimanager removed	commit \| commitdiff \| tree
2010-10-26	Andrea Asperti	Last commit made matita FTBFS. Fixed.	commit \| commitdiff \| tree
2010-10-26	Andrea Asperti	Some files ported to intermediate syntax to test.	commit \| commitdiff \| tree
2010-10-26	Andrea Asperti	STATS removed (was it still working properly??)	commit \| commitdiff \| tree
2010-10-26	Andrea Asperti	cic module removed (RIP)	commit \| commitdiff \| tree
2010-10-22	Andrea Asperti	elim implemented as a notation for apply	commit \| commitdiff \| tree
2010-10-22	Andrea Asperti	Bug fixed: it always made an undo to the empty status...	commit \| commitdiff \| tree
2010-10-16	Andrea Asperti	the Makefile was still calling transcript.	commit \| commitdiff \| tree
2010-10-13	Andrea Asperti	Propagation of changes to grafiteAst.	commit \| commitdiff \| tree
2010-10-08	Andrea Asperti	Cic.term and Cic.obj unused!	commit \| commitdiff \| tree
2010-10-08	Andrea Asperti	- cic almost not used	commit \| commitdiff \| tree
2010-10-08	Andrea Asperti	hgdome no longer used (RIP)	commit \| commitdiff \| tree
2010-10-08	Andrea Asperti	- most of cicUtil no longer used	commit \| commitdiff \| tree
2010-10-08	Andrea Asperti	- most of cic/ removed	commit \| commitdiff \| tree
2010-10-08	Andrea Asperti	Library committed again (because of a bug in SVN)	commit \| commitdiff \| tree
2010-10-08	Andrea Asperti	SVN bug: library lost, copying it again from previous...	commit \| commitdiff \| tree
2010-10-08	Andrea Asperti	- hmysql removed (RIP)	commit \| commitdiff \| tree
2010-10-08	Andrea Asperti	cicNotation* ==> notation*	commit \| commitdiff \| tree
2010-10-08	Andrea Asperti	- acic_content ==> content	commit \| commitdiff \| tree
2010-10-07	Andrea Asperti	xmldiff removed	commit \| commitdiff \| tree
2010-10-07	Andrea Asperti	- cic_exportation, cic_acic, acic_content (only parts...	commit \| commitdiff \| tree
2010-10-07	Andrea Asperti	cic_unification removed	commit \| commitdiff \| tree
2010-10-07	Andrea Asperti	acic_procedural and tactics removed	commit \| commitdiff \| tree
2010-10-06	Andrea Asperti	Removed tptp_grafite	commit \| commitdiff \| tree
2010-10-06	Andrea Asperti	removed tptp_grafite	commit \| commitdiff \| tree
2010-10-06	Andrea Asperti	nAuto --> nnAuto	commit \| commitdiff \| tree
2010-10-06	Andrea Asperti	Removed nauto debug checkbox	commit \| commitdiff \| tree
2010-10-06	Andrea Asperti	removed zipTree and andOrTree.	commit \| commitdiff \| tree
2010-10-06	Andrea Asperti	Removed nAuto.ml-mli	commit \| commitdiff \| tree
2010-10-05	Andrea Asperti	whelp and cic disambiguation removed	commit \| commitdiff \| tree
2010-10-05	Andrea Asperti	-hbugs: RIP	commit \| commitdiff \| tree
2010-10-05	Andrea Asperti	Â£- use ----------- in place of ## for sequents	commit \| commitdiff \| tree
2010-10-05	Andrea Asperti	-textual widget no longer editable	commit \| commitdiff \| tree
2010-10-05	Andrea Asperti	Font resizing and syntax highlighting re-activated...	commit \| commitdiff \| tree
2010-10-05	Andrea Asperti	- parser: "whelp ...Â"removed	commit \| commitdiff \| tree
2010-10-05	Andrea Asperti	- matitaWiki removed	commit \| commitdiff \| tree
2010-10-01	Andrea Asperti	MathML widget no longer used. Requesciat in pacem	commit \| commitdiff \| tree
2010-05-11	Andrea Asperti	minimization.ma	commit \| commitdiff \| tree
2010-05-07	Andrea Asperti	remarks and applyS	commit \| commitdiff \| tree
2010-04-19	Andrea Asperti	Elimination of recursive inductive types leads to looping.	commit \| commitdiff \| tree
2010-04-19	Andrea Asperti	alpha_eq instead of pervasives.compare	commit \| commitdiff \| tree
2010-04-09	Andrea Asperti	apply_subst_context on statuses	commit \| commitdiff \| tree
2010-04-08	Andrea Asperti	Fixing indexing (commit parziale di Claudio?)	commit \| commitdiff \| tree
2010-03-31	Andrea Asperti	removed boh	commit \| commitdiff \| tree
2010-03-31	Andrea Asperti	Tracing mechanism for auto. Interface changed to solve...	commit \| commitdiff \| tree
2010-03-25	Andrea Asperti	More work	commit \| commitdiff \| tree
2010-03-25	Andrea Asperti	cosi va (se vi pare).	commit \| commitdiff \| tree
2010-03-25	Andrea Asperti	Conflict(?).	commit \| commitdiff \| tree
2010-03-25	Andrea Asperti	Extension of demod to arbtrary predicates (not just...	commit \| commitdiff \| tree
2010-03-24	Andrea Asperti	Computation of the trace.	commit \| commitdiff \| tree
2010-03-23	Andrea Asperti	One more case.	commit \| commitdiff \| tree
2010-03-23	Andrea Asperti	Readded eqf_2.	commit \| commitdiff \| tree
2010-03-23	Andrea Asperti	symmetric_eq -> sym_eq	commit \| commitdiff \| tree
2010-03-23	Andrea Asperti	Re-proved an axiom	commit \| commitdiff \| tree
2010-03-23	Andrea Asperti	Commented a few lemmas (copies).	commit \| commitdiff \| tree
2010-03-23	Andrea Asperti	Fixed a few bugs	commit \| commitdiff \| tree
next

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

RSS Atom