Sun, 16 Dec 2012 18:44:27 +0100 |
wenzelm |
tuned signature: use thy_load to adapt to prover/editor specific view on sources;
|
file |
diff |
annotate
|
Fri, 07 Dec 2012 13:38:32 +0100 |
wenzelm |
explore theory_body_files via future, for improved performance;
|
file |
diff |
annotate
|
Thu, 06 Dec 2012 20:26:14 +0100 |
wenzelm |
avoid startup within GUI thread -- it is only required later for dialog;
|
file |
diff |
annotate
|
Wed, 05 Dec 2012 16:31:58 +0100 |
wenzelm |
allow to terminate jobs via Progress;
|
file |
diff |
annotate
|
Wed, 05 Dec 2012 14:45:44 +0100 |
wenzelm |
more formal progress context;
|
file |
diff |
annotate
|
Sun, 25 Nov 2012 21:23:20 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Sun, 25 Nov 2012 20:31:49 +0100 |
wenzelm |
tuned signature -- avoid intrusion of module Path in generic PIDE concepts;
|
file |
diff |
annotate
|
Sun, 25 Nov 2012 20:17:04 +0100 |
wenzelm |
explicit module UTF8;
|
file |
diff |
annotate
|
Sat, 20 Oct 2012 12:00:48 +0200 |
wenzelm |
accomodate scala-2.10.0-RC1;
|
file |
diff |
annotate
|
Thu, 04 Oct 2012 11:07:36 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Tue, 04 Sep 2012 20:45:43 +0200 |
wenzelm |
added build option -R;
|
file |
diff |
annotate
|
Mon, 03 Sep 2012 21:30:34 +0200 |
wenzelm |
bypass slow check for inlined files, where it is not really required;
|
file |
diff |
annotate
|
Wed, 29 Aug 2012 11:48:45 +0200 |
wenzelm |
renamed Position.str_of to Position.here;
|
file |
diff |
annotate
|
Fri, 24 Aug 2012 11:03:52 +0200 |
wenzelm |
clarified syntax boundary cases and errors;
|
file |
diff |
annotate
|
Thu, 23 Aug 2012 19:57:55 +0200 |
wenzelm |
improved errors of parser combinators;
|
file |
diff |
annotate
|
Thu, 23 Aug 2012 13:31:00 +0200 |
wenzelm |
expand all files uniformly;
|
file |
diff |
annotate
|
Thu, 23 Aug 2012 13:26:27 +0200 |
wenzelm |
added build option -l (list files);
|
file |
diff |
annotate
|
Wed, 22 Aug 2012 16:10:23 +0200 |
wenzelm |
pass syntax through check_thy;
|
file |
diff |
annotate
|
Tue, 21 Aug 2012 14:54:29 +0200 |
wenzelm |
some support for thy_load_commands;
|
file |
diff |
annotate
|
Tue, 21 Aug 2012 12:15:25 +0200 |
wenzelm |
clarified initialization of Thy_Load, Thy_Info, Session;
|
file |
diff |
annotate
|
Mon, 20 Aug 2012 17:05:53 +0200 |
wenzelm |
some support for inlining file content into outer syntax token language;
|
file |
diff |
annotate
|
Mon, 20 Aug 2012 14:09:09 +0200 |
wenzelm |
added keyword kind "thy_load" (with optional list of file extensions);
|
file |
diff |
annotate
|
Mon, 20 Aug 2012 13:39:41 +0200 |
wenzelm |
more strict syntax, according to manual;
|
file |
diff |
annotate
|
Tue, 14 Aug 2012 20:50:50 +0200 |
wenzelm |
some support for persistent user preferences;
|
file |
diff |
annotate
|
Tue, 14 Aug 2012 12:26:02 +0200 |
wenzelm |
check_errors for cumulative session content;
|
file |
diff |
annotate
|
Tue, 14 Aug 2012 11:37:58 +0200 |
wenzelm |
added jedit option -d;
|
file |
diff |
annotate
|
Wed, 08 Aug 2012 20:35:34 +0200 |
wenzelm |
refined isabelle mkroot;
|
file |
diff |
annotate
|
Wed, 08 Aug 2012 17:49:56 +0200 |
wenzelm |
simplified session specifications: names are taken verbatim and current directory is default;
|
file |
diff |
annotate
|
Wed, 08 Aug 2012 15:58:40 +0200 |
wenzelm |
added build option -D: include session directory and select its sessions;
|
file |
diff |
annotate
|
Wed, 08 Aug 2012 10:40:52 +0200 |
wenzelm |
SOMEthing went utterly wrong in 5b51ccdc8623;
|
file |
diff |
annotate
|