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

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

2010-12-16	Andrea Asperti	New version of the library. Several files still do...	commit \| commitdiff \| tree \| snapshot
2010-12-16	Andrea Asperti	Some bugs fixed (and some still open) in recursive...	commit \| commitdiff \| tree \| snapshot
2010-12-16	Andrea Asperti	Bug fixed: a file A that includes a file B needs to...	commit \| commitdiff \| tree \| snapshot
2010-12-16	Andrea Asperti	Dead code removed.	commit \| commitdiff \| tree \| snapshot
2010-12-10	Claudio Sacerdoti...	Previous patch improved: we now use an ad-hoc wrapper...	commit \| commitdiff \| tree \| snapshot
2010-12-10	Claudio Sacerdoti...	Debugging code removed.	commit \| commitdiff \| tree \| snapshot
2010-12-10	Claudio Sacerdoti...	Dead code removed.	commit \| commitdiff \| tree \| snapshot
2010-12-10	Claudio Sacerdoti...	BIG BUG FIXED (???): in place of using Grammar.Entry...	commit \| commitdiff \| tree \| snapshot
2010-12-10	Claudio Sacerdoti...	Backporting from new Matita:	commit \| commitdiff \| tree \| snapshot
2010-12-10	Andrea Asperti	Notation for - (clear).	commit \| commitdiff \| tree \| snapshot
2010-12-10	Andrea Asperti	Big change:	commit \| commitdiff \| tree \| snapshot
2010-12-10	Andrea Asperti	New syntax -H1 .. Hn for clear	commit \| commitdiff \| tree \| snapshot
2010-12-10	Andrea Asperti	Patch to avoid double creation of metavariables changed...	commit \| commitdiff \| tree \| snapshot
2010-12-06	Andrea Asperti	exp and factorial	commit \| commitdiff \| tree \| snapshot
2010-12-06	Andrea Asperti	some progress	commit \| commitdiff \| tree \| snapshot
2010-12-03	Claudio Sacerdoti...	Semantics of try changed (fixed) when applied to multip...	commit \| commitdiff \| tree \| snapshot
2010-12-03	Claudio Sacerdoti...	Back-portin from new Matita: semantics of ntry changed...	commit \| commitdiff \| tree \| snapshot
2010-12-03	Claudio Sacerdoti...	Back-porting from new Matita: improvement to inferred...	commit \| commitdiff \| tree \| snapshot
2010-12-03	Ferruccio Guidi	first commit for Helena 0.8.2	commit \| commitdiff \| tree \| snapshot
2010-12-03	Andrea Asperti	It is now possible to pass a ${ident x} to another...	commit \| commitdiff \| tree \| snapshot
2010-12-02	Claudio Sacerdoti...	[ porting from CerCo's Matita ]	commit \| commitdiff \| tree \| snapshot
2010-12-02	Claudio Sacerdoti...	Bad default for ?dorefine for instantiate	commit \| commitdiff \| tree \| snapshot
2010-12-02	Claudio Sacerdoti...	1. new implementation of normalize to have a speed...	commit \| commitdiff \| tree \| snapshot
2010-12-02	Claudio Sacerdoti...	porting to new syntax	commit \| commitdiff \| tree \| snapshot
2010-11-29	Claudio Sacerdoti...	Bug fixed: propagation of left expected parameters...	commit \| commitdiff \| tree \| snapshot
2010-11-29	Claudio Sacerdoti...	Bug fixed: propagation of left expected parameters...	commit \| commitdiff \| tree \| snapshot
2010-11-29	Claudio Sacerdoti...	In the case type_of constructor with expected type...	commit \| commitdiff \| tree \| snapshot
2010-11-29	Claudio Sacerdoti...	In the case type_of constructor with expected type...	commit \| commitdiff \| tree \| snapshot
2010-11-29	Claudio Sacerdoti...	Back-porting from new Matita:	commit \| commitdiff \| tree \| snapshot
2010-11-29	Claudio Sacerdoti...	Back-porting from new Matita:	commit \| commitdiff \| tree \| snapshot
2010-11-29	Claudio Sacerdoti...	Back-porting from new Matita:	commit \| commitdiff \| tree \| snapshot
2010-11-29	Claudio Sacerdoti...	Back-porting from new matita:	commit \| commitdiff \| tree \| snapshot
2010-11-29	Claudio Sacerdoti...	Back-porting from new Matita:	commit \| commitdiff \| tree \| snapshot
2010-11-29	Claudio Sacerdoti...	Back-porting from new Matita:	commit \| commitdiff \| tree \| snapshot
2010-11-29	Andrea Asperti	Propagation of left expected parameters in typeof.	commit \| commitdiff \| tree \| snapshot
2010-11-26	Andrea Asperti	- GREAT: when unifying ?1 : Type[i] with ?2: Type...	commit \| commitdiff \| tree \| snapshot
2010-11-25	Claudio Sacerdoti...	New behaviour of fo_unif: in case of ?f args == t...	commit \| commitdiff \| tree \| snapshot
2010-11-23	Claudio Sacerdoti...	Debugging code commented out.	commit \| commitdiff \| tree \| snapshot
2010-11-22	Claudio Sacerdoti...	Debugging code commented out.	commit \| commitdiff \| tree \| snapshot
2010-11-22	Claudio Sacerdoti...	Debugging code commented out.	commit \| commitdiff \| tree \| snapshot
2010-11-22	Andrea Asperti	Small improvement: check now takes the context of the...	commit \| commitdiff \| tree \| snapshot
2010-11-22	Andrea Asperti	Some arithmetics.	commit \| commitdiff \| tree \| snapshot
2010-11-19	Ferruccio Guidi	- lddl html pages: the transition to xhtml 1.1 + css...	commit \| commitdiff \| tree \| snapshot
2010-11-19	Andrea Asperti	Implementation of proof irrelevance finished.	commit \| commitdiff \| tree \| snapshot
2010-11-18	Andrea Asperti	Debugging disabled	commit \| commitdiff \| tree \| snapshot
2010-11-18	Andrea Asperti	- auto now uses the equality of the new library	commit \| commitdiff \| tree \| snapshot
2010-11-18	Andrea Asperti	- dead code removed	commit \| commitdiff \| tree \| snapshot
2010-11-18	Andrea Asperti	- number notation ported to new library	commit \| commitdiff \| tree \| snapshot
2010-11-18	Andrea Asperti	Number notation ported to new library.	commit \| commitdiff \| tree \| snapshot
2010-11-18	Andrea Asperti	Invariant dropped: NotationPt.NCic t can now contain...	commit \| commitdiff \| tree \| snapshot
2010-11-18	Andrea Asperti	Bug fixed: analysing inductive type that contains impli...	commit \| commitdiff \| tree \| snapshot
2010-11-17	Ferruccio Guidi	we updated the css validation icon	commit \| commitdiff \| tree \| snapshot
2010-11-17	Ferruccio Guidi	we are migrating the static htnl pagest to html 4 to...	commit \| commitdiff \| tree \| snapshot
2010-11-17	Claudio Sacerdoti...	- stock icons restored	commit \| commitdiff \| tree \| snapshot
2010-11-17	Claudio Sacerdoti...	1) matita.glade ported from glade2 to glade3	commit \| commitdiff \| tree \| snapshot
2010-11-11	Andrea Asperti	let and let rec used wrong tokens	commit \| commitdiff \| tree \| snapshot
2010-11-08	Andrea Asperti	Big bug fixed: grafiteDisambiguate.add_aliases_for_obje...	commit \| commitdiff \| tree \| snapshot
2010-11-05	Claudio Sacerdoti...	Bug fixed: an assert false was raised before giving...	commit \| commitdiff \| tree \| snapshot
2010-11-05	Claudio Sacerdoti...	- bug fixed: fullpath used in place of relative path	commit \| commitdiff \| tree \| snapshot
2010-11-05	Andrea Asperti	- bug fixed: circular dependencies are now detected...	commit \| commitdiff \| tree \| snapshot
2010-11-05	Andrea Asperti	now implemented in matitaEngine.ml	commit \| commitdiff \| tree \| snapshot
2010-11-05	Andrea Asperti	Huge change!!!	commit \| commitdiff \| tree \| snapshot
2010-11-05	Andrea Asperti	- better names, interface simplified	commit \| commitdiff \| tree \| snapshot
2010-11-05	Andrea Asperti	- cleanup	commit \| commitdiff \| tree \| snapshot
2010-11-05	Andrea Asperti	- matitacLib merged into matitaEngine	commit \| commitdiff \| tree \| snapshot
2010-11-05	Andrea Asperti	- dead code removed	commit \| commitdiff \| tree \| snapshot
2010-11-05	Andrea Asperti	- useless code removed	commit \| commitdiff \| tree \| snapshot
2010-11-05	Andrea Asperti	dead code removal: the parser used to be able to return...	commit \| commitdiff \| tree \| snapshot
2010-11-05	Andrea Asperti	more dead code removal	commit \| commitdiff \| tree \| snapshot
2010-11-05	Andrea Asperti	dead code removed	commit \| commitdiff \| tree \| snapshot
2010-11-05	Andrea Asperti	- recently introduced bug fixed: the new intermediate...	commit \| commitdiff \| tree \| snapshot
2010-11-05	Andrea Asperti	- refreshing of uris in NotationPt.terms implemented	commit \| commitdiff \| tree \| snapshot
2010-11-05	Andrea Asperti	- lexicon merged into ng_disambiguation	commit \| commitdiff \| tree \| snapshot
2010-11-05	Andrea Asperti	- lexiconSync merged into grafiteDisambiguate	commit \| commitdiff \| tree \| snapshot
2010-11-04	Claudio Sacerdoti...	Dead code removed (left from a previous commit).	commit \| commitdiff \| tree \| snapshot
2010-11-04	Claudio Sacerdoti...	- disk dumping of ex-lexicon commands almost implemented	commit \| commitdiff \| tree \| snapshot
2010-11-04	Claudio Sacerdoti...	- disambiguation code moved from matitaEngine to grafit...	commit \| commitdiff \| tree \| snapshot
2010-11-04	Claudio Sacerdoti...	Dependencies re-computed.	commit \| commitdiff \| tree \| snapshot
2010-11-04	Claudio Sacerdoti...	Minor code uniformization.	commit \| commitdiff \| tree \| snapshot
2010-11-04	Claudio Sacerdoti...	- further simplifications (??) of the status dependencies	commit \| commitdiff \| tree \| snapshot
2010-11-04	Claudio Sacerdoti...	..	commit \| commitdiff \| tree \| snapshot
2010-11-04	Claudio Sacerdoti...	All methods made explicit.	commit \| commitdiff \| tree \| snapshot
2010-11-04	Claudio Sacerdoti...	dependencies between statuses simplified	commit \| commitdiff \| tree \| snapshot
2010-11-04	Claudio Sacerdoti...	dependencies between statuses simplified	commit \| commitdiff \| tree \| snapshot
2010-11-04	Claudio Sacerdoti...	Minor code clean-up to simplify module dependencies.	commit \| commitdiff \| tree \| snapshot
2010-11-04	Claudio Sacerdoti...	- dependencies between statuses simplified	commit \| commitdiff \| tree \| snapshot
2010-11-04	Claudio Sacerdoti...	- content/interpretations.ml and ng_cic_content/nTermCi...	commit \| commitdiff \| tree \| snapshot
2010-11-04	Ferruccio Guidi	- some changes in the crux icon	commit \| commitdiff \| tree \| snapshot
2010-11-04	Andrea Asperti	- dandling code (to be put somewhere) implementing...	commit \| commitdiff \| tree \| snapshot
2010-11-04	Andrea Asperti	- interpretations are now saved in the .ng files	commit \| commitdiff \| tree \| snapshot
2010-11-04	Andrea Asperti	- Print/Set commands removed	commit \| commitdiff \| tree \| snapshot
2010-11-03	Ferruccio Guidi	last commit for helena 0.8.1	commit \| commitdiff \| tree \| snapshot
2010-11-03	Enrico Tassi	notation kind of works	commit \| commitdiff \| tree \| snapshot
2010-11-03	Andrea Asperti	- LexiconAst merged into GrafiteAst	commit \| commitdiff \| tree \| snapshot
2010-11-02	Ferruccio Guidi	- the connections between the intermediate language...	commit \| commitdiff \| tree \| snapshot
2010-11-02	Enrico Tassi	big change in parsing, trying to make all functional	commit \| commitdiff \| tree \| snapshot
2010-11-01	Ferruccio Guidi	- some bugfix	commit \| commitdiff \| tree \| snapshot
2010-10-31	Ferruccio Guidi	the old intermediate language (meta) is now obsolete	commit \| commitdiff \| tree \| snapshot
2010-10-31	Ferruccio Guidi	when sort inclusion is enabled, we can produce conversi...	commit \| commitdiff \| tree \| snapshot
2010-10-30	Ferruccio Guidi	a module was missing .........	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom