isabelle: File revisions

src/Pure/Build/export_theory.ML

Tue, 23 Jul 2024 22:50:59 +0200	wenzelm	disable thy_cache for now (amending 0b8922e351a3): avoid crash of AFP/Ramsey-Infinite due to exception THEORY "Duplicate theory name";	file \| diff \| annotate
Sun, 21 Jul 2024 23:31:32 +0200	wenzelm	clarified export: replaced Proofterm.standard_vars by ZTerm.standard_vars;	file \| diff \| annotate
Fri, 19 Jul 2024 16:58:52 +0200	wenzelm	clarified thm_header command_pos vs. thm_pos;	file \| diff \| annotate
Thu, 18 Jul 2024 15:26:36 +0200	wenzelm	clarified signature;	file \| diff \| annotate
Sun, 09 Jun 2024 21:16:38 +0200	wenzelm	clarified data representation: prefer explicit type Thm_Name;	file \| diff \| annotate
Fri, 07 Jun 2024 23:53:31 +0200	wenzelm	more accurate Thm_Name.T for PThm / Thm.name_derivation / Thm.derivation_name;	file \| diff \| annotate
Wed, 05 Jun 2024 11:30:26 +0200	wenzelm	remove unused (see also 04214caeb9ac);	file \| diff \| annotate
Tue, 02 Apr 2024 18:29:14 +0200	wenzelm	clarified names: discontinue odd convention from 3 decades ago;	file \| diff \| annotate
Sat, 20 Jan 2024 15:07:41 +0100	wenzelm	clarified directories;	file \| diff \| annotate \| base

isabelle