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

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

2006-02-03	Stefano Zacchiroli	moved toplevel makefile to sfotware/	commit \| commitdiff
2006-02-03	Stefano Zacchiroli	release snapshot	commit \| commitdiff
2006-02-02	Stefano Zacchiroli	release work snapshot ...	commit \| commitdiff
2006-02-02	Stefano Zacchiroli	added meta targets all, opt, ...	commit \| commitdiff
2006-02-02	Stefano Zacchiroli	snapshot	commit \| commitdiff
2006-02-02	Stefano Zacchiroli	no more multiple configure/Makefile, just one for both...	commit \| commitdiff
2006-02-02	Stefano Zacchiroli	- "ocaml/" -> "libs/" in the distribution	commit \| commitdiff
2006-02-02	Stefano Zacchiroli	release snapshot ...	commit \| commitdiff
2006-02-02	Stefano Zacchiroli	added (placeholder) distribution stuff for matita	commit \| commitdiff
2005-06-28	Ferruccio Guidi	lapply improved	commit \| commitdiff
2004-05-13	Ferruccio Guidi	- some code patched	commit \| commitdiff
2004-02-20	Ferruccio Guidi	- mathql interpreter flags reorganized	commit \| commitdiff
2003-12-02	Ferruccio Guidi	sort CProp added	commit \| commitdiff
2003-10-29	Ferruccio Guidi	some interfaces changed to prepare the mathql code...	commit \| commitdiff
2003-07-02	Ferruccio Guidi	mathql_generator: new constraint format (more type...	commit \| commitdiff
2003-04-23	Ferruccio Guidi	- New interface for the MathQL interpreter (1.3 version)	commit \| commitdiff
2003-02-20	Stefano Zacchiroli	global Makefile to build gTopLevel with all its depende...	commit \| commitdiff

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