Thu, 13 Dec 2018 15:21:34 +0100 |
wenzelm |
clarified modules and signature;
|
file |
diff |
annotate
|
Tue, 11 Dec 2018 19:25:35 +0100 |
wenzelm |
more uniform multi-language operations;
|
file |
diff |
annotate
|
Sat, 08 Dec 2018 15:13:28 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
Wed, 05 Dec 2018 19:42:40 +0100 |
wenzelm |
eliminated old makedist_bundle and remote_dmg: build_release does everything in Scala;
|
file |
diff |
annotate
|
Mon, 03 Dec 2018 20:04:48 +0100 |
wenzelm |
more explicit support for Isabelle system components;
|
file |
diff |
annotate
|
Wed, 28 Nov 2018 11:28:02 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
Sat, 24 Nov 2018 15:03:42 +0100 |
wenzelm |
clarified module name (again);
|
file |
diff |
annotate
|
Fri, 23 Nov 2018 22:55:08 +0100 |
wenzelm |
clarified file name;
|
file |
diff |
annotate
|
Thu, 22 Nov 2018 23:11:12 +0100 |
wenzelm |
support for construction of Isabelle fonts;
|
file |
diff |
annotate
|
Thu, 22 Nov 2018 17:34:37 +0100 |
wenzelm |
support for fontforge and its scripting language;
|
file |
diff |
annotate
|
Thu, 22 Nov 2018 15:47:58 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Wed, 07 Nov 2018 22:38:38 +0100 |
wenzelm |
obsolete;
|
file |
diff |
annotate
|
Wed, 07 Nov 2018 21:42:16 +0100 |
wenzelm |
more general support for Isabelle/PIDE file formats -- less hardwired Bibtex operations;
|
file |
diff |
annotate
|
Sun, 21 Oct 2018 18:32:33 +0200 |
wenzelm |
eliminated "isabelle makedist" -- prefer Scala over bash/perl scripting;
|
file |
diff |
annotate
|
Tue, 18 Sep 2018 11:05:14 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
Wed, 29 Aug 2018 18:53:58 +0200 |
wenzelm |
support Thy_Element in Scala, following ML version;
|
file |
diff |
annotate
|
Sat, 18 Aug 2018 12:41:05 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
Fri, 03 Aug 2018 14:08:33 +0200 |
wenzelm |
Pure theory content;
|
file |
diff |
annotate
|
Mon, 28 May 2018 22:25:10 +0200 |
wenzelm |
support to dump build database produced by PIDE session;
|
file |
diff |
annotate
|
Thu, 24 May 2018 21:13:09 +0200 |
wenzelm |
more general cache, also for term substructures;
|
file |
diff |
annotate
|
Sun, 13 May 2018 20:04:59 +0200 |
wenzelm |
export foundational theory content in Scala;
|
file |
diff |
annotate
|
Fri, 11 May 2018 11:42:23 +0200 |
wenzelm |
removed unused Java FX modules (it will be unbundled from JDK eventually);
|
file |
diff |
annotate
|
Sun, 06 May 2018 23:03:08 +0200 |
wenzelm |
store exports in session database, with asynchronous / parallel compression;
|
file |
diff |
annotate
|
Tue, 13 Mar 2018 19:34:42 +0100 |
wenzelm |
added server command "session_build": similar to JEdit_Resources.session_build;
|
file |
diff |
annotate
|
Fri, 09 Mar 2018 17:03:10 +0100 |
wenzelm |
more general TTY loop;
|
file |
diff |
annotate
|
Thu, 01 Mar 2018 20:05:41 +0100 |
wenzelm |
support for CSV files;
|
file |
diff |
annotate
|
Mon, 15 Jan 2018 14:31:57 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
Sun, 14 Jan 2018 20:10:11 +0100 |
wenzelm |
more specific tool "isabelle update_comments", for uniformity with formal comments in embedded languages;
|
file |
diff |
annotate
|
Sun, 24 Dec 2017 13:07:05 +0100 |
wenzelm |
clarified directories;
|
file |
diff |
annotate
|
Fri, 08 Dec 2017 23:43:58 +0100 |
wenzelm |
some support for LaTeX;
|
file |
diff |
annotate
|