isabelle: File revisions

Mercurial Mercurial > repos > isabelle / file revisions

src/Pure/ROOT.ML

1997-02-06	wenzelm	cd made readably again;	file \| diff \| annotate
1996-11-27	paulson	Uses Basis Library equivalent of cd	file \| diff \| annotate
1996-11-13	paulson	Updated version and date Isabelle94-7	file \| diff \| annotate
1996-07-16	paulson	Increased revision number	file \| diff \| annotate
1996-03-21	paulson	Now loads deriv.ML	file \| diff \| annotate
1996-03-15	paulson	Updated for new file search.ML	file \| diff \| annotate
1996-03-01	paulson	Theories are now in theory.ML	file \| diff \| annotate
1996-02-16	paulson	Elimination of fully-functorial style.	file \| diff \| annotate
1996-01-18	paulson	New version number	file \| diff \| annotate
1995-12-22	paulson	Now loads symtab.ML before term.ML. Functor	file \| diff \| annotate
1995-08-14	paulson	updated version number to revision 4 Isabelle94-4	file \| diff \| annotate
1995-04-28	nipkow	Added	file \| diff \| annotate
1995-04-25	lcp	updated version Isabelle94-3	file \| diff \| annotate
1995-03-03	clasohm	added CPure (curried functions) and ProtoPure (ancestor of Pure and CPure)	file \| diff \| annotate
1995-02-27	lcp	Updated the "version" variable (which was never done for	file \| diff \| annotate
1994-10-12	wenzelm	AxClass no longer open;	file \| diff \| annotate
1994-09-26	wenzelm	added init_database (somewhat experimental);	file \| diff \| annotate
1994-09-13	lcp	updated the identifier "version"	file \| diff \| annotate
1994-05-26	wenzelm	added "axclass.ML", structure AxClass;	file \| diff \| annotate
1993-10-28	lcp	updated version to October 93	file \| diff \| annotate
1993-10-22	clasohm	delete_file now has type string -> unit in both NJ and POLY,	file \| diff \| annotate
1993-10-04	wenzelm	Pure/ROOT.ML	file \| diff \| annotate
1993-09-16	clasohm	moved use of Thy/ROOT.ML to end of file because Thy/read.ML needs Thm	file \| diff \| annotate
1993-09-16	clasohm	Initial revision	file \| diff \| annotate

less more (0) tip

isabelle

RSS Atom