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

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

2007-11-26	Enrico Tassi	reorganization of many files according to the new basic...	commit \| commitdiff \| tree
2007-11-26	Enrico Tassi	for csc	commit \| commitdiff \| tree
2007-11-26	Enrico Tassi	pretty	commit \| commitdiff \| tree
2007-11-23	Enrico Tassi	since the previous commit fixed some bugs when the...	commit \| commitdiff \| tree
2007-11-23	Enrico Tassi	restored the right context used to generate names....	commit \| commitdiff \| tree
2007-11-23	Enrico Tassi	fast and sound registry lists	commit \| commitdiff \| tree
2007-11-22	Enrico Tassi	lemma finisced	commit \| commitdiff \| tree
2007-11-22	Enrico Tassi	lemma 3.57 half done!!!!	commit \| commitdiff \| tree
2007-11-22	Enrico Tassi	notation in autogui	commit \| commitdiff \| tree
2007-11-22	Enrico Tassi	snapshot	commit \| commitdiff \| tree
2007-11-20	Enrico Tassi	...	commit \| commitdiff \| tree
2007-11-20	Enrico Tassi	opps, a changelog was already there	commit \| commitdiff \| tree
2007-11-19	Enrico Tassi	...	commit \| commitdiff \| tree
2007-11-17	Enrico Tassi	fixed bugs found by csc	commit \| commitdiff \| tree
2007-11-17	Enrico Tassi	moved to pkg-ocaml-maint	commit \| commitdiff \| tree
2007-11-16	Enrico Tassi	...	commit \| commitdiff \| tree
2007-11-16	Enrico Tassi	hidded publish-devel button, too dangerous for the...	commit \| commitdiff \| tree
2007-11-16	Enrico Tassi	hidded all hbugs related stuff	commit \| commitdiff \| tree
2007-11-16	Enrico Tassi	from the tarball removed all contribs, they used to...	commit \| commitdiff \| tree
2007-11-16	Enrico Tassi	...	commit \| commitdiff \| tree
2007-11-16	Enrico Tassi	...	commit \| commitdiff \| tree
2007-11-16	Enrico Tassi	nocomposites	commit \| commitdiff \| tree
2007-11-16	Enrico Tassi	compose tactic restore and added nocomposites keyword	commit \| commitdiff \| tree
2007-11-16	Enrico Tassi	more cleanup	commit \| commitdiff \| tree
2007-11-16	Enrico Tassi	...	commit \| commitdiff \| tree
2007-11-16	Enrico Tassi	added recommends graphvi	commit \| commitdiff \| tree
2007-11-16	Enrico Tassi	...	commit \| commitdiff \| tree
2007-11-16	Enrico Tassi	xxx	commit \| commitdiff \| tree
2007-11-16	Enrico Tassi	added homepage field in control	commit \| commitdiff \| tree
2007-11-16	Enrico Tassi	fix	commit \| commitdiff \| tree
2007-11-16	Enrico Tassi	fix -noinnertypes set to true!	commit \| commitdiff \| tree
2007-11-16	Enrico Tassi	removed dummy MATITA_CFLAGS assignement	commit \| commitdiff \| tree
2007-11-16	Enrico Tassi	added default for matita.noiinertypes	commit \| commitdiff \| tree
2007-11-16	Enrico Tassi	menu fised	commit \| commitdiff \| tree
2007-11-16	Enrico Tassi	propagation of noinnertypes to matitac	commit \| commitdiff \| tree
2007-11-16	Enrico Tassi	added -noinnertypes	commit \| commitdiff \| tree
2007-11-16	Enrico Tassi	...	commit \| commitdiff \| tree
2007-11-15	Enrico Tassi	cleanup	commit \| commitdiff \| tree
2007-11-15	Enrico Tassi	cleanup	commit \| commitdiff \| tree
2007-11-15	Enrico Tassi	declared eq_sym as a coercion and added 2 lemmas for...	commit \| commitdiff \| tree
2007-11-15	Enrico Tassi	...	commit \| commitdiff \| tree
2007-11-15	Enrico Tassi	autobatch => [auto]	commit \| commitdiff \| tree
2007-11-15	Enrico Tassi	...	commit \| commitdiff \| tree
2007-11-15	Enrico Tassi	...	commit \| commitdiff \| tree
2007-11-15	Enrico Tassi	removed prerr_endline	commit \| commitdiff \| tree
2007-11-15	Enrico Tassi	removed ugly prerr_endline	commit \| commitdiff \| tree
2007-11-15	Enrico Tassi	added --version to allow help2man	commit \| commitdiff \| tree
2007-11-15	Enrico Tassi	added manpages	commit \| commitdiff \| tree
2007-11-15	Enrico Tassi	...	commit \| commitdiff \| tree
2007-11-15	Enrico Tassi	matita-icon	commit \| commitdiff \| tree
2007-11-15	Enrico Tassi	...	commit \| commitdiff \| tree
2007-11-15	Enrico Tassi	...	commit \| commitdiff \| tree
2007-11-15	Enrico Tassi	...	commit \| commitdiff \| tree
2007-11-15	Enrico Tassi	wrong dependency removed	commit \| commitdiff \| tree
2007-11-15	Enrico Tassi	changelog to -rc-1	commit \| commitdiff \| tree
2007-11-15	Enrico Tassi	...	commit \| commitdiff \| tree
2007-11-15	Enrico Tassi	rc-1	commit \| commitdiff \| tree
2007-11-15	Enrico Tassi	added ~delta parameter to saturate_term and used it...	commit \| commitdiff \| tree
2007-11-14	Enrico Tassi	xxx	commit \| commitdiff \| tree
2007-11-14	Enrico Tassi	fixed notation	commit \| commitdiff \| tree
2007-11-14	Enrico Tassi	ogroups almost finished	commit \| commitdiff \| tree
2007-11-14	Enrico Tassi	snapshot	commit \| commitdiff \| tree
2007-11-14	Enrico Tassi	snapshot	commit \| commitdiff \| tree
2007-11-13	Enrico Tassi	End of groups :-)	commit \| commitdiff \| tree
2007-11-13	Enrico Tassi	snapshot	commit \| commitdiff \| tree
2007-11-12	Enrico Tassi	some work till the need of redoing all groups based...	commit \| commitdiff \| tree
2007-11-12	Enrico Tassi	since there is no more tab, the modification of the...	commit \| commitdiff \| tree
2007-11-12	Enrico Tassi	removed ugly printing	commit \| commitdiff \| tree
2007-11-12	Enrico Tassi	ordered_sets are built with excedence	commit \| commitdiff \| tree
2007-11-12	Enrico Tassi	added ordered sets	commit \| commitdiff \| tree
2007-11-12	Enrico Tassi	renamed ordered sets into excedence.ma	commit \| commitdiff \| tree
2007-11-12	Enrico Tassi	relocated	commit \| commitdiff \| tree
2007-11-12	Enrico Tassi	removed dust	commit \| commitdiff \| tree
2007-11-12	Enrico Tassi	HIDDEN (since glade do not read out file properly anymore...	commit \| commitdiff \| tree
2007-11-12	Enrico Tassi	new file with some relations stated in Type	commit \| commitdiff \| tree
2007-11-12	Enrico Tassi	ordered set is over, much new stuff coming from a coreflexiv...	commit \| commitdiff \| tree
2007-11-09	Enrico Tassi	snapshot	commit \| commitdiff \| tree
2007-11-09	Enrico Tassi	...	commit \| commitdiff \| tree
2007-11-08	Enrico Tassi	xxx	commit \| commitdiff \| tree
2007-11-08	Enrico Tassi	ported to the new destruct	commit \| commitdiff \| tree
2007-11-08	Enrico Tassi	please, commit files with debug=false otherwise the...	commit \| commitdiff \| tree
2007-11-08	Enrico Tassi	forced associativity in if construct	commit \| commitdiff \| tree
2007-11-07	Enrico Tassi	reorganization of the whole story, the root dir contains...	commit \| commitdiff \| tree
2007-11-07	Enrico Tassi	Code extraction unbranched again.	commit \| commitdiff \| tree
2007-11-02	Enrico Tassi	finisced configuration section	commit \| commitdiff \| tree
2007-11-02	Enrico Tassi	added doc for db and getter sections	commit \| commitdiff \| tree
2007-11-02	Enrico Tassi	added notes about sqlite and removed obsolete zack...	commit \| commitdiff \| tree
2007-10-30	Enrico Tassi	remade dependencies that were wrong	commit \| commitdiff \| tree
2007-10-28	Enrico Tassi	clean can't fail	commit \| commitdiff \| tree
2007-10-28	Enrico Tassi	added patch for the configuration file	commit \| commitdiff \| tree
2007-10-28	Enrico Tassi	reverted last commit	commit \| commitdiff \| tree
2007-10-26	Enrico Tassi	...	commit \| commitdiff \| tree
2007-10-26	Enrico Tassi	rebuilt	commit \| commitdiff \| tree
2007-10-26	Enrico Tassi	no -rectype passed to ocamldep	commit \| commitdiff \| tree
2007-10-26	Enrico Tassi	rebuilt	commit \| commitdiff \| tree
2007-10-26	Enrico Tassi	0.4.0 almost working	commit \| commitdiff \| tree
2007-10-26	Enrico Tassi	we use ulex08 not ulex	commit \| commitdiff \| tree
2007-10-22	Enrico Tassi	fixed copyright file... an ITP should be done	commit \| commitdiff \| tree
2007-10-16	Enrico Tassi	fixed make opt	commit \| commitdiff \| tree
2007-10-09	Enrico Tassi	added patch to allow i,j,k: skip and *: skip	commit \| commitdiff \| tree
next

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

RSS Atom