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
|