isabelle: File revisions

src/Pure/Tools/find_consts.ML

Wed, 17 Jun 2009 17:07:26 +0200	wenzelm	more detailed start_timing/end_timing;	file \| diff \| annotate
Wed, 17 Jun 2009 15:14:48 +0200	wenzelm	minor tuning according to Isabelle/ML conventions;	file \| diff \| annotate
Tue, 03 Mar 2009 12:14:52 +1100	Timothy Bourke	Implement Makarius's suggestion for improved type pattern parsing.	file \| diff \| annotate
Mon, 02 Mar 2009 18:11:39 +1100	Timothy Bourke	find_consts: fold in preference to foldl; hide internal constants; remove redundant exception catch	file \| diff \| annotate
Sun, 01 Mar 2009 23:36:12 +0100	wenzelm	use long names for old-style fold combinators;	file \| diff \| annotate
Sun, 01 Mar 2009 16:22:37 +0100	wenzelm	avoid fragile parsing of end_timing result -- would have produced GC time on MosML, for example;	file \| diff \| annotate
Fri, 27 Feb 2009 16:05:40 +0100	wenzelm	observe basic Isabelle/ML coding conventions;	file \| diff \| annotate
Fri, 27 Feb 2009 15:46:22 +0100	wenzelm	moved find_theorems.ML and find_consts.ML to Pure/Tools, collecting main implementation in one place each;	file \| diff \| annotate \| base

isabelle