matita.cs.unibo.it Git - helm.git/history - helm/matita/matitadep.ml

]> matita.cs.unibo.it Git - helm.git/history - helm/matita/matitadep.ml

projects / helm.git / history

summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next

[helm.git] / helm / matita / matitadep.ml

2005-11-03	Stefano Zacchiroli	better dependencies among modules and symlinking of...	blob \| commitdiff \| raw
2005-10-05	Stefano Zacchiroli	- added support for "-nodb" flag (still missing support...	blob \| commitdiff \| raw \| diff to current
2005-09-27	Stefano Zacchiroli	moved list_uniq to the extlib	blob \| commitdiff \| raw \| diff to current
2005-09-21	Stefano Zacchiroli	ported to the new parser interface (Ulexing.lexbuf...	blob \| commitdiff \| raw \| diff to current
2005-09-20	Enrico Tassi	fixed matitadep: now it should consider ALL depndencies	blob \| commitdiff \| raw \| diff to current
2005-09-20	Enrico Tassi	all initialization code is now in the new matitaInit...	blob \| commitdiff \| raw \| diff to current
2005-09-20	Enrico Tassi	matitadep now parses notation.	blob \| commitdiff \| raw \| diff to current
2005-07-29	Claudio Sacerdoti...	0. core_notation.ma splitted into coq.moo and core_nota...	blob \| commitdiff \| raw \| diff to current
2005-07-25	Claudio Sacerdoti...	- MatitaLog output redirected to stderr for every messa...	blob \| commitdiff \| raw \| diff to current
2005-07-22	Claudio Sacerdoti...	Big changes:	blob \| commitdiff \| raw \| diff to current
2005-07-19	Enrico Tassi	Bug fixed: matitaclean and matitadep now ignores every...	blob \| commitdiff \| raw \| diff to current
2005-07-18	Stefano Zacchiroli	merged cic_notation with matita: good luck!	blob \| commitdiff \| raw \| diff to current
2005-07-13	Enrico Tassi	matitamake stuff:	blob \| commitdiff \| raw \| diff to current
2005-07-04	Claudio Sacerdoti...	"include" command implemented.	blob \| commitdiff \| raw \| diff to current
2005-07-01	Enrico Tassi	ma -> moo in dependencies	blob \| commitdiff \| raw \| diff to current
2005-07-01	Enrico Tassi	first snapshot of separate compilation	blob \| commitdiff \| raw \| diff to current
2005-06-30	Enrico Tassi	first matitadep snapshot	blob \| commitdiff \| raw \| diff to current

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