Mercurial Mercurial > repos > isabelle / file revisions
summary | shortlog | changelog | graph | tags | bookmarks | branches | file | revisions | annotate | diff | comparison | rss | help
(0) -100 -60 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/build-jars
Fri, 14 Feb 2014 21:06:20 +0100 wenzelm lexical syntax for SML (in Scala); file | diff | annotate
Thu, 12 Dec 2013 21:28:13 +0100 wenzelm skeleton for Simplifier trace by Lars Hupel; file | diff | annotate
Mon, 09 Dec 2013 22:02:42 +0100 wenzelm alternative hires icon; file | diff | annotate
Thu, 05 Dec 2013 19:59:43 +0100 wenzelm uniform use of transparent icons, as for main "apps"; file | diff | annotate
Thu, 05 Dec 2013 17:58:03 +0100 wenzelm merged, resolving obvious conflicts in NEWS and src/Pure/System/isabelle_process.ML; file | diff | annotate
Sun, 01 Dec 2013 13:03:15 +0100 wenzelm more isabelle logos (from isabelle.ico); file | diff | annotate
Sat, 30 Nov 2013 22:56:20 +0100 wenzelm prefer 32x32 icon like jedit (image from isabelle.ico); file | diff | annotate
Thu, 14 Nov 2013 16:55:32 +0100 wenzelm immutable byte vectors versus UTF8 strings; file | diff | annotate
Tue, 24 Sep 2013 14:14:49 +0200 wenzelm obsolete; file | diff | annotate
Sun, 22 Sep 2013 14:30:34 +0200 wenzelm clarified location of GUI modules (which depend on Swing of JFX); file | diff | annotate
Wed, 18 Sep 2013 15:09:15 +0200 wenzelm improved FlowLayout for wrapping of components over multiple lines; file | diff | annotate
Thu, 12 Sep 2013 13:48:17 +0200 wenzelm clarified directory structure; file | diff | annotate
Thu, 12 Sep 2013 13:23:54 +0200 wenzelm maintain classpath in more elementary manner: turn ISABELLE_CLASSPATH into -classpath option, so that all jars are covered by sun.misc.Launcher.AppClassLoader (e.g. relevant for loading add-on resources); file | diff | annotate
Tue, 10 Sep 2013 16:09:33 +0200 wenzelm discontinued obsolete command-line tool "isabelle build_dialog"; file | diff | annotate
Sat, 07 Sep 2013 17:32:55 +0200 wenzelm clarified modules; file | diff | annotate
Sat, 07 Sep 2013 13:59:47 +0200 wenzelm dialog for system processes, with optional output window; file | diff | annotate
Sat, 07 Sep 2013 11:36:03 +0200 wenzelm more portable access to icon -- avoid Isabelle_System which is not yet initialized in bootstrap; file | diff | annotate
Thu, 29 Aug 2013 15:29:24 +0200 wenzelm clarified module location; file | diff | annotate
Sat, 17 Aug 2013 22:15:45 +0200 wenzelm some protocol to determine provers according to ML; file | diff | annotate
Mon, 12 Aug 2013 17:17:49 +0200 wenzelm moved generic module to its proper place; file | diff | annotate
Mon, 12 Aug 2013 13:30:54 +0200 wenzelm support for maps with multiple entries per key; file | diff | annotate
Mon, 12 Aug 2013 11:39:29 +0200 wenzelm tuned signature -- more abstract PIDE editor operations; file | diff | annotate
Tue, 16 Jul 2013 12:31:08 +0200 wenzelm separate module XZ_File to avoid initial dependency on org.tukaani.xz; file | diff | annotate
Mon, 15 Jul 2013 22:11:36 +0200 wenzelm Scala version of init.bat; file | diff | annotate
Sun, 07 Jul 2013 22:58:34 +0200 wenzelm some support for Cygwin; file | diff | annotate
Fri, 05 Jul 2013 15:38:03 +0200 wenzelm explicit module Document_ID as source of globally unique identifiers across ML/Scala; file | diff | annotate
Tue, 25 Jun 2013 12:17:19 +0200 wenzelm slightly improved "isabelle doc" based on Isabelle/Scala; file | diff | annotate
Mon, 24 Jun 2013 23:33:14 +0200 wenzelm improved "isabelle keywords" and "isabelle update_keywords" based on Isabelle/Scala, without requiring to build sessions first; file | diff | annotate
Sun, 23 Jun 2013 20:12:01 +0200 wenzelm Scala version of "isabelle doc"; file | diff | annotate
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
less more (0) -100 -60 tip
isabelle