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

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

2005-12-24	Enrico Tassi	attempt to move nightly profiling to svn	commit \| commitdiff \| tree
2005-12-24	Enrico Tassi	test commit	commit \| commitdiff \| tree
2005-12-22	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-22	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-22	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-22	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-22	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-22	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-22	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-21	Enrico Tassi	fixed -f in clean	commit \| commitdiff \| tree
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-21	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-21	Enrico Tassi	bench	commit \| commitdiff \| tree
2005-12-21	Enrico Tassi	__ files are removed	commit \| commitdiff \| tree
2005-12-21	Enrico Tassi	no more "completed in ."	commit \| commitdiff \| tree
2005-12-21	Enrico Tassi	fixed cicbrowser.opt argv.(0)	commit \| commitdiff \| tree
2005-12-20	Enrico Tassi	added ocamldep.opt checking	commit \| commitdiff \| tree
2005-12-16	Enrico Tassi	regenerated	commit \| commitdiff \| tree
2005-12-14	Enrico Tassi	rm .depend	commit \| commitdiff \| tree
2005-12-14	Enrico Tassi	added -I../..	commit \| commitdiff \| tree
2005-12-13	Enrico Tassi	one more try	commit \| commitdiff \| tree
2005-12-13	Enrico Tassi	aaaa	commit \| commitdiff \| tree
2005-12-13	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-13	Enrico Tassi	...	commit \| commitdiff \| tree
2005-12-13	Enrico Tassi	added ensure_path_exists to save_moo	commit \| commitdiff \| tree
2005-12-13	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-13	Enrico Tassi	...	commit \| commitdiff \| tree
2005-12-13	Enrico Tassi	fixed_names	commit \| commitdiff \| tree
2005-12-13	Enrico Tassi	fixed_names	commit \| commitdiff \| tree
2005-12-12	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-12	Enrico Tassi	fixed coercions	commit \| commitdiff \| tree
2005-12-12	Enrico Tassi	fixed undo support for coercions inside records	commit \| commitdiff \| tree
2005-12-12	Enrico Tassi	convert does not export xfc->png properly...	commit \| commitdiff \| tree
2005-12-12	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-12	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-12	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-12	Enrico Tassi	added developers	commit \| commitdiff \| tree
2005-12-12	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-12	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-12-12	Enrico Tassi	first draft	commit \| commitdiff \| tree
2005-12-09	Enrico Tassi	ficed include and -I	commit \| commitdiff \| tree
2005-12-07	Enrico Tassi	since the moo content is not OK... we need an hack.	commit \| commitdiff \| tree
2005-12-07	Enrico Tassi	Big commit to let Ferruccio try the merge_coercion...	commit \| commitdiff \| tree
2005-12-07	Enrico Tassi	Big commit to let Ferruccio try the merge_coercion...	commit \| commitdiff \| tree
2005-11-30	Enrico Tassi	it may happen that matitaclean (clean_baseuris) calls...	commit \| commitdiff \| tree
2005-11-28	Enrico Tassi	added comment	commit \| commitdiff \| tree
2005-11-25	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-11-25	Enrico Tassi	added tinycals and patterns subsections	commit \| commitdiff \| tree
2005-11-18	Enrico Tassi	more work for coercions	commit \| commitdiff \| tree
2005-11-18	Enrico Tassi	fix	commit \| commitdiff \| tree
2005-11-18	Enrico Tassi	fixed coercions undo	commit \| commitdiff \| tree
2005-11-18	Enrico Tassi	fix for coercions	commit \| commitdiff \| tree
2005-11-18	Enrico Tassi	some more on tinycals	commit \| commitdiff \| tree
2005-11-18	Enrico Tassi	added more on tinycals	commit \| commitdiff \| tree
2005-11-17	Enrico Tassi	aded a prototype of chtting aboit tacticals	commit \| commitdiff \| tree
2005-11-17	Enrico Tassi	matita.tex	commit \| commitdiff \| tree
2005-11-17	Enrico Tassi	fixed some stuff in the patterns section	commit \| commitdiff \| tree
2005-11-17	Enrico Tassi	fixed some stuff in pattern section	commit \| commitdiff \| tree
2005-11-16	Enrico Tassi	added first draft for patterns	commit \| commitdiff \| tree
2005-11-15	Enrico Tassi	list_uniq abstracted on equality	commit \| commitdiff \| tree
2005-11-15	Enrico Tassi	fixed self and removed more DUMMY... only one left	commit \| commitdiff \| tree
2005-11-15	Enrico Tassi	added print_grammar	commit \| commitdiff \| tree
2005-11-15	Enrico Tassi	removed duplicate entry	commit \| commitdiff \| tree
2005-11-14	Enrico Tassi	dded missing catch for coercions	commit \| commitdiff \| tree
2005-11-11	Enrico Tassi	added an example of reduction of R' and some comments...	commit \| commitdiff \| tree
next

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

RSS Atom