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

]> matita.cs.unibo.it Git - helm.git/history - helm/matita/configure.ac

[helm.git] / helm / matita / configure.ac

2005-12-02	Claudio Sacerdoti...	1. matitaEngine splitted into disambiguation (now in...	blob \| commitdiff \| raw
2005-11-24	Stefano Zacchiroli	Reshaped structure of ocaml/ libraries, matita changed...	blob \| commitdiff \| raw \| diff to current
2005-11-24	Stefano Zacchiroli	added missing dependency	blob \| commitdiff \| raw \| diff to current
2005-11-04	Stefano Zacchiroli	"towards a distribution of matita" changes:	blob \| commitdiff \| raw \| diff to current
2005-11-03	Stefano Zacchiroli	better dependencies among modules and symlinking of...	blob \| commitdiff \| raw \| diff to current
2005-11-02	Stefano Zacchiroli	enable static linking of executables (try "make static")	blob \| commitdiff \| raw \| diff to current
2005-10-25	Stefano Zacchiroli	new tacticals	blob \| commitdiff \| raw \| diff to current
2005-10-05	Stefano Zacchiroli	- added support for "-nodb" flag (still missing support...	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-12	Stefano Zacchiroli	cic_textual_parser2 -> cic_disambiguation	blob \| commitdiff \| raw \| diff to current
2005-07-25	Stefano Zacchiroli	merged transformations on top of notation code	blob \| commitdiff \| raw \| diff to current
2005-07-21	Alberto Griggio	integration with paramodulation	blob \| commitdiff \| raw \| diff to current
2005-07-11	Enrico Tassi	default USER_HOME to pwd	blob \| commitdiff \| raw \| diff to current
2005-07-11	Enrico Tassi	matita.conf.xml.sample is now generated	blob \| commitdiff \| raw \| diff to current
2005-07-07	Claudio Sacerdoti...	No more need for symbolic links: .matita, the configura...	blob \| commitdiff \| raw \| diff to current
2005-07-01	Enrico Tassi	more makefile work	blob \| commitdiff \| raw \| diff to current
2005-06-22	Stefano Zacchiroli	local use of OCAMLPATH so that ./script.sh should not...	blob \| commitdiff \| raw \| diff to current
2005-06-13	Stefano Zacchiroli	integrated lablgtksourceview	blob \| commitdiff \| raw \| diff to current
2005-06-08	Stefano Zacchiroli	added icons to entries shown in cicbrowser so that...	blob \| commitdiff \| raw \| diff to current
2005-04-27	Stefano Zacchiroli	checked in new version of matita from svn	blob \| commitdiff \| raw \| diff to current
2005-04-27	Stefano Zacchiroli	removed all old matita files (kept in attic)	blob \| commitdiff \| raw
2005-01-18	Stefano Zacchiroli	snapshot, notably:	blob \| commitdiff \| raw \| diff to current
2004-11-09	Stefano Zacchiroli	snapshot, notably:	blob \| commitdiff \| raw \| diff to current
2004-11-03	Stefano Zacchiroli	snapshot (notably: ported to mysql instead of dbi)	blob \| commitdiff \| raw \| diff to current
2004-10-27	Stefano Zacchiroli	snapshot, notably:	blob \| commitdiff \| raw \| diff to current
2004-10-13	Stefano Zacchiroli	snapshot	blob \| commitdiff \| raw \| diff to current
2004-10-06	Stefano Zacchiroli	snapshot (notably: implemented "check")	blob \| commitdiff \| raw \| diff to current
2004-10-04	Stefano Zacchiroli	snapshot	blob \| commitdiff \| raw \| diff to current
2004-10-01	Stefano Zacchiroli	snapshot	blob \| commitdiff \| raw \| diff to current
2004-04-29	Stefano Zacchiroli	snapshot	blob \| commitdiff \| raw \| diff to current
2004-04-23	Stefano Zacchiroli	snapshot	blob \| commitdiff \| raw \| diff to current
2004-04-22	Stefano Zacchiroli	snapshot	blob \| commitdiff \| raw \| diff to current
2004-04-22	Stefano Zacchiroli	snapshot	blob \| commitdiff \| raw \| diff to current
2004-04-20	Stefano Zacchiroli	added ocamlfind library checks to configure.ac	blob \| commitdiff \| raw \| diff to current
2004-04-20	Stefano Zacchiroli	renamed mathita to matita	blob \| commitdiff \| raw \| diff to current

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

RSS Atom