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

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

2008-11-15	Enrico Tassi	make all/clean implemented	commit \| commitdiff \| tree \| snapshot
2008-11-15	Enrico Tassi	housekeeping	commit \| commitdiff \| tree \| snapshot
2008-11-15	Enrico Tassi	housekeeping	commit \| commitdiff \| tree \| snapshot
2008-11-15	Enrico Tassi	house keeping	commit \| commitdiff \| tree \| snapshot
2008-11-15	Enrico Tassi	disambiguation can use a goal as hint for the expected...	commit \| commitdiff \| tree \| snapshot
2008-11-15	Enrico Tassi	natural deduction palette	commit \| commitdiff \| tree \| snapshot
2008-11-14	Enrico Tassi	test 4 luo	commit \| commitdiff \| tree \| snapshot
2008-11-14	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-11-12	Enrico Tassi	better names	commit \| commitdiff \| tree \| snapshot
2008-11-12	Enrico Tassi	disambiguation for ng terms almost there	commit \| commitdiff \| tree \| snapshot
2008-11-12	Enrico Tassi	some new exports	commit \| commitdiff \| tree \| snapshot
2008-11-12	Enrico Tassi	new meta added for ng_disambiguation	commit \| commitdiff \| tree \| snapshot
2008-11-12	Enrico Tassi	exported disambiguate_thing	commit \| commitdiff \| tree \| snapshot
2008-11-12	Enrico Tassi	occurr check fixed	commit \| commitdiff \| tree \| snapshot
2008-11-12	Enrico Tassi	more printings	commit \| commitdiff \| tree \| snapshot
2008-11-11	Enrico Tassi	last fixes	commit \| commitdiff \| tree \| snapshot
2008-11-11	Claudio Sacerdoti...	1. data structure for lables is now more strict	commit \| commitdiff \| tree \| snapshot
2008-11-11	Ferruccio Guidi	- we now use a streaming architecture (run time gain...	commit \| commitdiff \| tree \| snapshot
2008-11-09	Claudio Sacerdoti...	auto-param "size" missing	commit \| commitdiff \| tree \| snapshot
2008-11-07	Andrea Asperti	debug=false	commit \| commitdiff \| tree \| snapshot
2008-11-07	Andrea Asperti	Signature_of has been closed with respect to constructors.	commit \| commitdiff \| tree \| snapshot
2008-11-07	Andrea Asperti	The signature in "retrieve equations" must be extended...	commit \| commitdiff \| tree \| snapshot
2008-11-07	Enrico Tassi	some other simplification	commit \| commitdiff \| tree \| snapshot
2008-11-07	Enrico Tassi	ordered_set simplified	commit \| commitdiff \| tree \| snapshot
2008-11-07	Enrico Tassi	exercise ready	commit \| commitdiff \| tree \| snapshot
2008-11-06	Enrico Tassi	exercise ready	commit \| commitdiff \| tree \| snapshot
2008-11-06	Enrico Tassi	almost there	commit \| commitdiff \| tree \| snapshot
2008-11-06	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2008-11-06	Claudio Sacerdoti...	First attempts at the third phase.	commit \| commitdiff \| tree \| snapshot
2008-11-06	Enrico Tassi	added some news	commit \| commitdiff \| tree \| snapshot
2008-11-06	Enrico Tassi	almost ok	commit \| commitdiff \| tree \| snapshot
2008-11-06	Enrico Tassi	natural deduction support and example split, seems...	commit \| commitdiff \| tree \| snapshot
2008-11-06	Enrico Tassi	do not erase sorts	commit \| commitdiff \| tree \| snapshot
2008-11-06	Enrico Tassi	better error messages. sorts are compared using whd	commit \| commitdiff \| tree \| snapshot
2008-11-06	Enrico Tassi	Evil case fixed, the coulde should be more readable	commit \| commitdiff \| tree \| snapshot
2008-11-06	Enrico Tassi	removed empty lines	commit \| commitdiff \| tree \| snapshot
2008-11-06	Enrico Tassi	the passive set and passive list are expected to have...	commit \| commitdiff \| tree \| snapshot
2008-11-06	Enrico Tassi	fixed scripts	commit \| commitdiff \| tree \| snapshot
2008-11-05	Enrico Tassi	still some glitches, but reaching a decent state	commit \| commitdiff \| tree \| snapshot
2008-11-05	Enrico Tassi	using the new by foo we proved semantics	commit \| commitdiff \| tree \| snapshot
2008-11-05	Enrico Tassi	new internal flags for auto:	commit \| commitdiff \| tree \| snapshot
2008-11-05	Enrico Tassi	duplicate entry in menv avoided	commit \| commitdiff \| tree \| snapshot
2008-11-05	Enrico Tassi	fixed script to use auto depth=4	commit \| commitdiff \| tree \| snapshot
2008-11-04	Enrico Tassi	eliminazione di un passaggio di transitività in ast2astfe	commit \| commitdiff \| tree \| snapshot
2008-11-04	Andrea Asperti	Calling unification instead of matching when checking...	commit \| commitdiff \| tree \| snapshot
2008-11-04	Claudio Sacerdoti...	- A new interesting elimination principle over inductiv...	commit \| commitdiff \| tree \| snapshot
2008-11-03	Enrico Tassi	BDD	commit \| commitdiff \| tree \| snapshot
2008-11-03	Enrico Tassi	removed prerr_endline	commit \| commitdiff \| tree \| snapshot
2008-11-03	Enrico Tassi	debug=false	commit \| commitdiff \| tree \| snapshot
2008-11-02	Enrico Tassi	shannon proved	commit \| commitdiff \| tree \| snapshot
2008-11-01	Enrico Tassi	added shannon	commit \| commitdiff \| tree \| snapshot
2008-11-01	Enrico Tassi	added lazy	commit \| commitdiff \| tree \| snapshot
2008-10-31	Claudio Sacerdoti...	Environment simplified.	commit \| commitdiff \| tree \| snapshot
2008-10-31	Claudio Sacerdoti...	No longer used.	commit \| commitdiff \| tree \| snapshot
2008-10-31	Claudio Sacerdoti...	- New dependency for environments on the nesting depth.	commit \| commitdiff \| tree \| snapshot
2008-10-29	Andrea Asperti	Propagation of changes in paramodulation.	commit \| commitdiff \| tree \| snapshot
2008-10-29	Andrea Asperti	Exported a couple of functions.	commit \| commitdiff \| tree \| snapshot
2008-10-29	Andrea Asperti	Added a in_universe function	commit \| commitdiff \| tree \| snapshot
2008-10-29	Andrea Asperti	propagation of changes in other paramodulation files.	commit \| commitdiff \| tree \| snapshot
2008-10-29	Andrea Asperti	New demod function working for arbitary goals.	commit \| commitdiff \| tree \| snapshot
2008-10-29	Enrico Tassi	models ported	commit \| commitdiff \| tree \| snapshot
2008-10-29	Andrea Asperti	Enforcing the disjoint invariant between metasenvs.	commit \| commitdiff \| tree \| snapshot
2008-10-29	Andrea Asperti	Main change: added a parameter to build_equality_proof...	commit \| commitdiff \| tree \| snapshot
2008-10-28	Enrico Tassi	even more polymorphic dualizer	commit \| commitdiff \| tree \| snapshot
2008-10-28	Enrico Tassi	done	commit \| commitdiff \| tree \| snapshot
2008-10-28	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-10-28	Enrico Tassi	lebesge works	commit \| commitdiff \| tree \| snapshot
2008-10-27	Enrico Tassi	WIP	commit \| commitdiff \| tree \| snapshot
2008-10-27	Enrico Tassi	many bugs fixed	commit \| commitdiff \| tree \| snapshot
2008-10-27	Enrico Tassi	metasenv passed to get_relevance, Metas that stand...	commit \| commitdiff \| tree \| snapshot
2008-10-27	Enrico Tassi	WIP	commit \| commitdiff \| tree \| snapshot
2008-10-27	Enrico Tassi	_ in place of unused variables	commit \| commitdiff \| tree \| snapshot
2008-10-27	Enrico Tassi	Implicit annotationas are now printed	commit \| commitdiff \| tree \| snapshot
2008-10-27	Enrico Tassi	seg_u/l were inverted, more work	commit \| commitdiff \| tree \| snapshot
2008-10-27	Enrico Tassi	big lemma done	commit \| commitdiff \| tree \| snapshot
2008-10-26	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-10-26	Enrico Tassi	duality done	commit \| commitdiff \| tree \| snapshot
2008-10-26	Enrico Tassi	almost done, just needs to be prforated	commit \| commitdiff \| tree \| snapshot
2008-10-26	Enrico Tassi	....	commit \| commitdiff \| tree \| snapshot
2008-10-26	Enrico Tassi	all done in declarative style	commit \| commitdiff \| tree \| snapshot
2008-10-25	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-10-25	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-10-25	Enrico Tassi	duality is a joke	commit \| commitdiff \| tree \| snapshot
2008-10-24	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-10-24	Enrico Tassi	leave-environment axiom made true	commit \| commitdiff \| tree \| snapshot
2008-10-23	Enrico Tassi	lebesgue completely dualized	commit \| commitdiff \| tree \| snapshot
2008-10-22	Ferruccio Guidi	we aligned the implementation to the plmms08 paper	commit \| commitdiff \| tree \| snapshot
2008-10-21	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-10-21	Enrico Tassi	better pps	commit \| commitdiff \| tree \| snapshot
2008-10-21	Enrico Tassi	- mk_restricted_irl removed, the non-optimized code...	commit \| commitdiff \| tree \| snapshot
2008-10-21	Enrico Tassi	psubst for metas fixed again	commit \| commitdiff \| tree \| snapshot
2008-10-20	Enrico Tassi	nat model ported to the dualized version, but not itsel...	commit \| commitdiff \| tree \| snapshot
2008-10-20	Enrico Tassi	... is a command in proof mode, use	commit \| commitdiff \| tree \| snapshot
2008-10-20	Enrico Tassi	more bug fixed (or introduced)	commit \| commitdiff \| tree \| snapshot
2008-10-20	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-10-20	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-10-20	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-10-20	Enrico Tassi	after a PITA, lebergue is dualized!	commit \| commitdiff \| tree \| snapshot
2008-10-20	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-10-20	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom