| Thu, 04 Apr 2013 17:47:28 +0200 |
wenzelm |
separate module "GUI", to keep this out of the way of generic Isabelle_System operations, notably for non-Isabelle/jEdit applications;
|
file |
diff |
annotate
|
| Thu, 04 Apr 2013 17:33:04 +0200 |
wenzelm |
separate module Isabelle_Font, to keep this out of the way of generic Isabelle_System operations, notably for non-Isabelle/jEdit applications;
|
file |
diff |
annotate
|
| Mon, 25 Mar 2013 10:45:47 +0100 |
wenzelm |
actually exit on scalac failure;
|
file |
diff |
annotate
|
| Sun, 24 Mar 2013 16:12:45 +0100 |
wenzelm |
basic support for xz files;
|
file |
diff |
annotate
|
| Sat, 23 Feb 2013 11:27:45 +0100 |
wenzelm |
support for POSIX interrupts (bypassed on Windows);
|
file |
diff |
annotate
|
| Wed, 13 Feb 2013 13:31:38 +0100 |
wenzelm |
file system operations for Graphics2D output;
|
file |
diff |
annotate
|
| Fri, 18 Jan 2013 22:38:34 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Fri, 18 Jan 2013 22:31:57 +0100 |
wenzelm |
charts for future task runtime statistics;
|
file |
diff |
annotate
|
| Thu, 03 Jan 2013 20:42:18 +0100 |
wenzelm |
maintain session index on Scala side, for more determistic results;
|
file |
diff |
annotate
|
| Wed, 02 Jan 2013 21:02:47 +0100 |
wenzelm |
some support for chart drawing;
|
file |
diff |
annotate
|
| Wed, 02 Jan 2013 18:03:38 +0100 |
wenzelm |
moved files;
|
file |
diff |
annotate
|
| Wed, 02 Jan 2013 17:58:53 +0100 |
wenzelm |
moved files;
|
file |
diff |
annotate
|
| Wed, 02 Jan 2013 16:48:22 +0100 |
wenzelm |
ML runtime statistics: read properties from build log;
|
file |
diff |
annotate
|
| Mon, 31 Dec 2012 14:58:21 +0100 |
wenzelm |
tuned signature -- eliminated obsolete Standard_System;
|
file |
diff |
annotate
|
| Mon, 31 Dec 2012 13:34:47 +0100 |
wenzelm |
recovered generic PIDE build;
|
file |
diff |
annotate
|
| Wed, 05 Dec 2012 14:19:44 +0100 |
wenzelm |
basic wrapper for session build dialog;
|
file |
diff |
annotate
|
| Sun, 25 Nov 2012 20:17:04 +0100 |
wenzelm |
explicit module UTF8;
|
file |
diff |
annotate
|
| Sun, 25 Nov 2012 19:49:24 +0100 |
wenzelm |
Isabelle-specific implementation of quasi-abstract markup elements -- back to module arrangement before d83797ef0d2d;
|
file |
diff |
annotate
|
| Sat, 20 Oct 2012 17:15:40 +0200 |
wenzelm |
extra jar for scala-2.10.0-RC1;
|
file |
diff |
annotate
|
| Mon, 01 Oct 2012 20:35:09 +0200 |
wenzelm |
removed unused module Blob;
|
file |
diff |
annotate
|
| Mon, 24 Sep 2012 21:16:33 +0200 |
wenzelm |
minimal component and build setup for graphview;
|
file |
diff |
annotate
|
| Wed, 19 Sep 2012 21:07:09 +0200 |
wenzelm |
JavaFX is inactive by default;
|
file |
diff |
annotate
|
| Tue, 11 Sep 2012 22:54:12 +0200 |
wenzelm |
provide color values via options;
|
file |
diff |
annotate
|
| Wed, 05 Sep 2012 20:54:40 +0200 |
wenzelm |
eliminated potentially confusing terminology of Scala "layer";
|
file |
diff |
annotate
|
| Sun, 02 Sep 2012 21:24:33 +0200 |
wenzelm |
proper classpath on windows;
|
file |
diff |
annotate
|
| Sun, 02 Sep 2012 21:07:50 +0200 |
wenzelm |
proper classpath for Java FX;
|
file |
diff |
annotate
|
| Sun, 02 Sep 2012 21:01:11 +0200 |
wenzelm |
basic setup for HTML5 panel;
|
file |
diff |
annotate
|
| Sun, 02 Sep 2012 19:26:05 +0200 |
wenzelm |
basic support for Java FX;
|
file |
diff |
annotate
|
| Fri, 20 Jul 2012 23:16:54 +0200 |
wenzelm |
more abstract file system operations in Scala, corresponding to ML version;
|
file |
diff |
annotate
|
| Fri, 20 Jul 2012 22:39:59 +0200 |
wenzelm |
eliminated obsolete session_manager.scala;
|
file |
diff |
annotate
|
| Fri, 20 Jul 2012 15:48:22 +0200 |
wenzelm |
basic support for stand-alone options with external string representation;
|
file |
diff |
annotate
|
| Thu, 19 Jul 2012 12:05:54 +0200 |
wenzelm |
more general support for Isabelle/Scala command line tools;
|
file |
diff |
annotate
|
| Tue, 17 Jul 2012 15:56:19 +0200 |
wenzelm |
basic setup for Isabelle build tool;
|
file |
diff |
annotate
|
| Thu, 24 May 2012 23:44:16 +0200 |
wenzelm |
discontinued obsolete Cygwin module;
|
file |
diff |
annotate
|
| Thu, 24 May 2012 23:28:58 +0200 |
wenzelm |
eliminated unused Cygwin download;
|
file |
diff |
annotate
|
| Thu, 24 May 2012 22:49:39 +0200 |
wenzelm |
include scala-compiler.jar in basic Isabelle/Scala environment, to make Isabelle/jEdit console work with scala-2.10.0-M3;
|
file |
diff |
annotate
|
| Wed, 02 May 2012 16:04:07 +0200 |
wenzelm |
accomodate scala-2.10.0-M3 with its extra jar;
|
file |
diff |
annotate
|
| Sun, 22 Apr 2012 15:50:29 +0200 |
wenzelm |
default Isabelle application wrapper -- JVM entry point for Isabelle.exe;
|
file |
diff |
annotate
|
| Mon, 09 Apr 2012 20:57:23 +0200 |
wenzelm |
slightly faster default compilation of Isabelle/Scala;
|
file |
diff |
annotate
|
| Mon, 26 Mar 2012 16:25:08 +0200 |
wenzelm |
more robust command invocation via ISABELLE_JDK_HOME or SCALA_HOME (NB: bash exec requires genuine executable, not function);
|
file |
diff |
annotate
|
| Sat, 24 Mar 2012 20:24:16 +0100 |
wenzelm |
ISABELLE_JDK_HOME settings variable points to JDK with javac and jar (not just JRE);
|
file |
diff |
annotate
|
| Sun, 18 Mar 2012 21:52:50 +0100 |
wenzelm |
less noisy Isabelle/Scala build process;
|
file |
diff |
annotate
|
| Thu, 23 Feb 2012 14:17:51 +0100 |
wenzelm |
directed graphs (in Scala);
|
file |
diff |
annotate
|
| Thu, 01 Dec 2011 14:29:14 +0100 |
wenzelm |
clarified modules (again) -- NB: both Document and Protocol are specific to this particular prover;
|
file |
diff |
annotate
|
| Tue, 29 Nov 2011 21:50:00 +0100 |
wenzelm |
clarified Time vs. Timing;
|
file |
diff |
annotate
|
| Tue, 29 Nov 2011 21:29:53 +0100 |
wenzelm |
separate compilation of PIDE vs. Pure sources, which enables independent Scala library;
|
file |
diff |
annotate
|
| Tue, 29 Nov 2011 20:18:02 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Tue, 29 Nov 2011 19:49:36 +0100 |
wenzelm |
rearranged files;
|
file |
diff |
annotate
|
| Mon, 28 Nov 2011 22:05:32 +0100 |
wenzelm |
separate module for concrete Isabelle markup;
|
file |
diff |
annotate
|
| Wed, 21 Sep 2011 20:35:50 +0200 |
wenzelm |
more abstract wrapping of fifos as System_Channel;
|
file |
diff |
annotate
|
| Sun, 04 Sep 2011 15:21:50 +0200 |
wenzelm |
moved XML/YXML to src/Pure/PIDE;
|
file |
diff |
annotate
|
| Tue, 12 Jul 2011 19:36:46 +0200 |
wenzelm |
more uniform Properties in ML and Scala;
|
file |
diff |
annotate
|
| Tue, 12 Jul 2011 18:00:05 +0200 |
wenzelm |
more uniform Term and Term_XML modules;
|
file |
diff |
annotate
|
| Tue, 12 Jul 2011 15:17:37 +0200 |
wenzelm |
discontinued obsolete Isabelle_Syntax and Parse_Value -- superseded by Outer_Syntax.quote_string and XML.Encode, Term_XML.Encode etc.;
|
file |
diff |
annotate
|
| Tue, 12 Jul 2011 10:44:30 +0200 |
wenzelm |
tuned XML modules;
|
file |
diff |
annotate
|
| Sun, 10 Jul 2011 23:46:05 +0200 |
wenzelm |
some support to invoke Scala methods under program control;
|
file |
diff |
annotate
|
| Sun, 10 Jul 2011 17:58:11 +0200 |
wenzelm |
lambda terms with XML data representation in Scala;
|
file |
diff |
annotate
|
| Sat, 09 Jul 2011 13:29:33 +0200 |
wenzelm |
some support for blobs (arbitrary text files) within document nodes;
|
file |
diff |
annotate
|
| Thu, 07 Jul 2011 13:48:30 +0200 |
wenzelm |
simplified Symbol based on lazy Symbol.Interpretation -- reduced odd "functorial style";
|
file |
diff |
annotate
|
| Mon, 04 Jul 2011 20:18:19 +0200 |
wenzelm |
explicit class Counter;
|
file |
diff |
annotate
|
| Mon, 04 Jul 2011 16:27:11 +0200 |
wenzelm |
some support for theory files within Isabelle/Scala session;
|
file |
diff |
annotate
|
| Thu, 30 Jun 2011 00:09:57 +0200 |
wenzelm |
abstract algebra of file paths in Scala (cf. path.ML);
|
file |
diff |
annotate
|
| Thu, 23 Jun 2011 17:17:40 +0200 |
wenzelm |
simplified arrangement of jars;
|
file |
diff |
annotate
|
| Thu, 23 Jun 2011 16:10:22 +0200 |
wenzelm |
provide Isabelle/Scala environment as Java extension, instead of user classpath
|
file |
diff |
annotate
|
| Thu, 23 Jun 2011 10:58:29 +0200 |
wenzelm |
basic setup for Isabelle charset;
|
file |
diff |
annotate
|
| Wed, 15 Jun 2011 21:22:51 +0200 |
wenzelm |
tuned messages;
|
file |
diff |
annotate
|
| Thu, 09 Jun 2011 10:59:25 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 08 Jun 2011 21:29:49 +0200 |
wenzelm |
further jedit build option;
|
file |
diff |
annotate
|
| Wed, 08 Jun 2011 17:11:00 +0200 |
wenzelm |
support fresh build of jars;
|
file |
diff |
annotate
|
| Sat, 21 May 2011 00:00:14 +0200 |
wenzelm |
misc tuning and update;
|
file |
diff |
annotate
|
| Thu, 12 May 2011 16:46:21 +0200 |
wenzelm |
added toplevel isabelle package -- reduce warnings with scala-2.9.0.final;
|
file |
diff |
annotate
|
| Sat, 06 Nov 2010 17:55:32 +0100 |
wenzelm |
somewhat more uniform timing in ML vs. Scala;
|
file |
diff |
annotate
|
| Sat, 28 Aug 2010 17:20:53 +0200 |
wenzelm |
volatile variables (in Scala);
|
file |
diff |
annotate
|
| Mon, 23 Aug 2010 16:07:18 +0200 |
wenzelm |
module for simplified thread operations (Scala version);
|
file |
diff |
annotate
|
| Fri, 20 Aug 2010 11:57:43 +0200 |
wenzelm |
concentrate protocol message formats in Isar_Document;
|
file |
diff |
annotate
|
| Thu, 19 Aug 2010 12:51:48 +0200 |
wenzelm |
moved Isar_Document to Pure/PIDE;
|
file |
diff |
annotate
|
| Wed, 18 Aug 2010 23:44:50 +0200 |
wenzelm |
more efficient Markup_Tree, based on branches sorted by quasi-order;
|
file |
diff |
annotate
|
| Tue, 17 Aug 2010 23:23:29 +0200 |
wenzelm |
digesting strings according to SHA-1 -- Scala version;
|
file |
diff |
annotate
|
| Mon, 16 Aug 2010 00:07:28 +0200 |
wenzelm |
simplified command status: interpret stacked markup on demand;
|
file |
diff |
annotate
|
| Sun, 15 Aug 2010 23:13:56 +0200 |
wenzelm |
event_bus.scala rather belongs to system plumbing;
|
file |
diff |
annotate
|
| Sun, 15 Aug 2010 21:42:13 +0200 |
wenzelm |
moved Text_Edit to Text.Edit;
|
file |
diff |
annotate
|
| Sat, 14 Aug 2010 18:43:45 +0200 |
wenzelm |
moved isar_document.ML/scala to Pure/System/ -- side-by-side with isar.ML;
|
file |
diff |
annotate
|
| Thu, 12 Aug 2010 13:59:18 +0200 |
wenzelm |
specific command state;
|
file |
diff |
annotate
|
| Tue, 10 Aug 2010 23:03:48 +0200 |
wenzelm |
type XML.Body as basic data representation language (Scala version);
|
file |
diff |
annotate
|
| Sat, 07 Aug 2010 19:52:14 +0200 |
wenzelm |
concentrate structural document notions in document.scala;
|
file |
diff |
annotate
|
| Fri, 28 May 2010 20:41:23 +0200 |
wenzelm |
assume given SCALA_HOME, e.g. from component settings or external setup;
|
file |
diff |
annotate
|
| Fri, 21 May 2010 20:10:45 +0200 |
wenzelm |
simplified message markup, using plain XML.Elem directly;
|
file |
diff |
annotate
|
| Fri, 21 May 2010 14:53:19 +0200 |
wenzelm |
more abstract view on prover output messages;
|
file |
diff |
annotate
|
| Mon, 17 May 2010 14:23:54 +0200 |
wenzelm |
renamed class Outer_Lex to Token and Token_Kind to Token.Kind;
|
file |
diff |
annotate
|
| Sat, 15 May 2010 22:15:57 +0200 |
wenzelm |
renamed Outer_Parse to Parse (in Scala);
|
file |
diff |
annotate
|
| Sat, 15 May 2010 22:05:49 +0200 |
wenzelm |
renamed Outer_Keyword to Keyword (in Scala);
|
file |
diff |
annotate
|
| Thu, 06 May 2010 16:27:47 +0200 |
wenzelm |
basic support for symbolic pretty printing;
|
file |
diff |
annotate
|
| Wed, 05 May 2010 22:23:45 +0200 |
wenzelm |
some rearrangement of Scala sources;
|
file |
diff |
annotate
|
| Mon, 29 Mar 2010 22:43:56 +0200 |
wenzelm |
adapted to Scala 2.8.0 Beta1 -- with notable changes to scala.collection;
|
file |
diff |
annotate
|
| Mon, 11 Jan 2010 23:41:06 +0100 |
wenzelm |
clarified terminology;
|
file |
diff |
annotate
|
| Mon, 11 Jan 2010 23:00:05 +0100 |
wenzelm |
incorporate "proofdocument" part into main Isabelle/Pure.jar -- except for html_panel.scala, which depends on external library (Lobo/Cobra browser);
|
file |
diff |
annotate
|
| Wed, 06 Jan 2010 22:21:25 +0100 |
wenzelm |
tuned Isabelle/Scala build;
|
file |
diff |
annotate
| base
|