| 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
|