Mercurial Mercurial > repos > isabelle / file revisions
summary | shortlog | changelog | graph | tags | bookmarks | branches | file | revisions | annotate | diff | comparison | rss | help
(0) tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Tools/find_consts.ML
Wed, 20 Oct 2021 10:47:34 +0200 wenzelm clarified signature; file | diff | annotate
Sat, 04 Sep 2021 21:25:08 +0200 wenzelm clarified signature; file | diff | annotate
Tue, 27 Nov 2018 21:07:39 +0100 wenzelm more accurate positions for "name" (quoted string) and "embedded" (cartouche): refer to content without delimiters, which is e.g. relevant for systematic selection/renaming of scope groups; file | diff | annotate
Sun, 20 May 2018 11:57:17 +0200 wenzelm prefer HTTPS; file | diff | annotate
Tue, 13 Dec 2016 11:51:42 +0100 wenzelm more symbols; file | diff | annotate
Sun, 10 Jul 2016 11:18:35 +0200 wenzelm tuned signature: more uniform Keyword.spec; file | diff | annotate
Wed, 13 Apr 2016 18:01:05 +0200 wenzelm eliminated "xname" and variants; file | diff | annotate
Mon, 04 Apr 2016 17:02:34 +0200 wenzelm clarified bootstrap -- more uniform use of ML files; file | diff | annotate
Tue, 06 Oct 2015 11:29:00 +0200 wenzelm pretty_const: proper local name space; file | diff | annotate
Mon, 21 Sep 2015 23:22:11 +0200 wenzelm clarified markup; file | diff | annotate
Mon, 06 Jul 2015 16:10:00 +0200 wenzelm plain string output, without funny control chars; file | diff | annotate
Mon, 06 Jul 2015 15:34:45 +0200 wenzelm proper outer syntax category, e.g. relevant for PIDE markup; file | diff | annotate
Mon, 29 Jun 2015 20:55:46 +0200 wenzelm improved scheduling for urgent tasks, using farm of replacement threads (may lead to factor 2 overloading, but CPUs are usually hyperthreaded); file | diff | annotate
Mon, 06 Apr 2015 17:06:48 +0200 wenzelm @{command_spec} is superseded by @{command_keyword}; file | diff | annotate
Mon, 06 Apr 2015 16:00:19 +0200 wenzelm more position information and PIDE markup for command keywords; file | diff | annotate
Wed, 03 Dec 2014 14:04:38 +0100 wenzelm tuned signature; file | diff | annotate
Wed, 26 Nov 2014 20:05:34 +0100 wenzelm renamed "pairself" to "apply2", in accordance to @{apply 2}; file | diff | annotate
Fri, 07 Nov 2014 16:36:55 +0100 wenzelm plain value Keywords.keywords, which might be used outside theory for bootstrap purposes; file | diff | annotate
Thu, 06 Nov 2014 13:44:14 +0100 wenzelm tuned signature; file | diff | annotate
Wed, 05 Nov 2014 21:10:38 +0100 wenzelm more frugal keywords; file | diff | annotate
Wed, 05 Nov 2014 20:20:57 +0100 wenzelm explicit type Keyword.keywords; file | diff | annotate
Mon, 03 Nov 2014 14:50:27 +0100 wenzelm eliminated unused int_only flag (see also c12484a27367); file | diff | annotate
Tue, 12 Aug 2014 20:18:27 +0200 wenzelm tuned signature according to Scala version -- prefer explicit argument; file | diff | annotate
Thu, 08 May 2014 16:15:20 +0200 wenzelm some position markup to help locating the query context, e.g. from "Info" dockable; file | diff | annotate
Thu, 08 May 2014 13:47:17 +0200 wenzelm tuned message: more compact, imitate actual command line; file | diff | annotate
Wed, 07 May 2014 10:24:32 +0200 wenzelm tuned message -- more context for detached window etc.; file | diff | annotate
Sun, 27 Apr 2014 13:35:18 +0200 wenzelm tuned; file | diff | annotate
Sat, 26 Apr 2014 22:43:22 +0200 wenzelm tuned message; file | diff | annotate
Sat, 26 Apr 2014 21:49:31 +0200 wenzelm PIDE support for find_consts; file | diff | annotate
Wed, 12 Mar 2014 14:37:14 +0100 wenzelm tuned signature; file | diff | annotate
Mon, 10 Mar 2014 13:55:03 +0100 wenzelm abstract type Name_Space.table; file | diff | annotate
Thu, 18 Jul 2013 22:32:00 +0200 wenzelm tuned messages -- avoid text folds stemming from Pretty.chunks; file | diff | annotate
Tue, 09 Apr 2013 15:29:25 +0200 wenzelm discontinued Toplevel.no_timing complication -- also recovers timing of diagnostic commands, e.g. 'find_theorems'; file | diff | annotate
Mon, 26 Nov 2012 14:43:28 +0100 wenzelm tuned command descriptions; file | diff | annotate
Wed, 17 Oct 2012 10:26:27 +0200 wenzelm more formal markup; file | diff | annotate
Thu, 02 Aug 2012 12:36:54 +0200 wenzelm more official command specifications, including source position; file | diff | annotate
Sat, 17 Mar 2012 11:23:14 +0100 wenzelm sort via string_ord (as secondary key), not fast_string_ord via Symtab.fold; file | diff | annotate
Fri, 16 Mar 2012 18:20:12 +0100 wenzelm outer syntax command definitions based on formal command_spec derived from theory header declarations; file | diff | annotate
Mon, 27 Feb 2012 19:54:50 +0100 wenzelm discontinued slightly odd built-in timing (cf. 53fd5cc685b4) -- the Isar toplevel does that already (e.g. via Toplevel.timing or Toplevel.profiling); file | diff | annotate
Mon, 27 Feb 2012 17:39:34 +0100 wenzelm prefer uniform Timing.message -- avoid assumption about sequential execution; file | diff | annotate
Sat, 16 Apr 2011 15:47:52 +0200 wenzelm modernized structure Proof_Context; file | diff | annotate
Sun, 20 Mar 2011 21:28:11 +0100 wenzelm structure Timing: covers former start_timing/end_timing and Output.timeit etc; file | diff | annotate
Wed, 11 Aug 2010 18:10:39 +0200 wenzelm standardized pretty printing of consts (e.g. see find_theorems, print_theory); file | diff | annotate
Wed, 11 Aug 2010 18:03:02 +0200 wenzelm misc tuning and simplification; file | diff | annotate
Wed, 11 Aug 2010 17:50:29 +0200 wenzelm simplified/unified command setup; file | diff | annotate
Sat, 15 May 2010 23:40:00 +0200 wenzelm renamed structure OuterSyntax to Outer_Syntax, keeping the old name as alias for some time; file | diff | annotate
Sat, 15 May 2010 23:16:32 +0200 wenzelm refer directly to structure Keyword and Parse; file | diff | annotate
Sat, 20 Mar 2010 17:33:11 +0100 wenzelm renamed varify/unvarify operations to varify_global/unvarify_global to emphasize that these only work in a global situation; file | diff | annotate
Thu, 29 Oct 2009 11:56:02 +0100 wenzelm less hermetic ML; file | diff | annotate
Sun, 25 Oct 2009 13:18:35 +0100 wenzelm conceal consts via name space, not tags; file | diff | annotate
Wed, 30 Sep 2009 22:31:16 +0200 wenzelm handle Type.TYPE_MATCH, not arbitrary exceptions; file | diff | annotate
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
less more (0) tip
isabelle