Commits

Branch selector

 symphony-changes

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 3, 2014

• delete xz

  joey-coleman

  committed
  92627b3

  Copy full SHA for 92627b3

Commits on Apr 25, 2014

• missing package dependencies

  andriusvelykis

  committed
  6e76bca

  Copy full SHA for 6e76bca

• Merge branch 'api-changes' into isabelle2013-2-osgi

  andriusvelykis

  committed
  2669f70

  Copy full SHA for 2669f70

Commits on Apr 24, 2014

• open Isabelle/Scala API: access to completion words

  Show description for ba8ae78
  andriusvelykis

  committed
  ba8ae78

  Copy full SHA for ba8ae78

Commits on Apr 23, 2014

• allow swapping the Isabelle_System state

  andriusvelykis

  committed
  a26343b

  Copy full SHA for a26343b

• rogue classpath file

  andriusvelykis

  committed
  4fb6500

  Copy full SHA for 4fb6500

• missing dependency in Manifest

  andriusvelykis

  committed
  25aec76

  Copy full SHA for 25aec76

• missing dependency

  andriusvelykis

  committed
  814b08f

  Copy full SHA for 814b08f

• Merge branch 'version-bumps' into isabelle2013-2-osgi

  andriusvelykis

  committed
  f107d3e

  Copy full SHA for f107d3e

• use Tycho 0.20.0 (support for Maven 3.1 among other things)

  andriusvelykis

  committed
  14a4b76

  Copy full SHA for 14a4b76

• newer versions of Maven plugins

  andriusvelykis

  committed
  1efc7fa

  Copy full SHA for 1efc7fa

• newer Scala plugin

  andriusvelykis

  committed
  a6a39ed

  Copy full SHA for a6a39ed

• bump Scala version to newest in 2.10.x

  andriusvelykis

  committed
  b5275f2

  Copy full SHA for b5275f2

• updated PIDE and Pure versions to 2013.2.1 to identify Isabelle2013-2 + some changes from the official release

  andriusvelykis

  committed
  da1d8fe

  Copy full SHA for da1d8fe

• Merge branch 'isabelle2013-osgi' into isabelle2013-2-osgi

  Show description for fd0c5f8
  andriusvelykis

  committed
  fd0c5f8

  Copy full SHA for fd0c5f8

Commits on Dec 4, 2013

• remove junk;

  Show description for d509aa2
  

  makarius

  authored and

  andriusvelykis

  committed
  d509aa2

  Copy full SHA for d509aa2

• recover main entry point from d9c88171b393 -- occasionally useful with plain "java -jar jedit.jar";

  Show description for 5c83579
  

  makarius

  authored and

  andriusvelykis

  committed
  5c83579

  Copy full SHA for 5c83579

Commits on Dec 1, 2013

• prefer isabelle application icon;

  Show description for 820123d
  

  makarius

  authored and

  andriusvelykis

  committed
  820123d

  Copy full SHA for 820123d

• more isabelle logos (from isabelle.ico);

  Show description for 13a3a87
  

  makarius

  authored and

  andriusvelykis

  committed
  13a3a87

  Copy full SHA for 13a3a87

Commits on Nov 30, 2013

• prefer 32x32 icon like jedit (image from isabelle.ico);

  Show description for 4ef7708
  

  makarius

  authored and

  andriusvelykis

  committed
  4ef7708

  Copy full SHA for 4ef7708

• clarified view.title;

  Show description for 76c016a
  

  makarius

  authored and

  andriusvelykis

  committed
  76c016a

  Copy full SHA for 76c016a

• non-focusable button, to avoid second interpretation of SPACE in C+e SPACE (isabelle.set-node-required);

  Show description for 2463521
  

  makarius

  authored and

  andriusvelykis

  committed
  2463521

  Copy full SHA for 2463521

Commits on Nov 25, 2013

• more robust and portable invocation of kill as bash builtin, instead of external executable -- NB: /bin/kill on Mac OS X Mountain Lion chokes on Linux workaround from 3610ae73cfdb;

  Show description for 90dd315
  

  makarius

  authored and

  andriusvelykis

  committed
  90dd315

  Copy full SHA for 90dd315

Commits on Nov 22, 2013

• back to Status.FINISHED and immediate remove_overlay (reverting 6e69f9ca8f1c), which is important to avoid restart of print function after edits + re-assignment of located command;

  Show description for d64978e
  

  makarius

  authored and

  andriusvelykis

  committed
  d64978e

  Copy full SHA for d64978e

• compile on Windows (clone of d04576557400);

  Show description for e98ca4b
  

  makarius

  authored and

  andriusvelykis

  committed
  e98ca4b

  Copy full SHA for e98ca4b

• clarified node edits sent to prover -- Clear/Blob only required for text edits within editor;

  Show description for e28a557
  

  makarius

  authored and

  andriusvelykis

  committed
  e28a557

  Copy full SHA for e28a557

• exclude gzipped files from document model, to avoid confusion about actual file name and content;

  Show description for 74718d4
  

  makarius

  authored and

  andriusvelykis

  committed
  74718d4

  Copy full SHA for 74718d4

• tuned messages;

  Show description for 663cc75
  

  makarius

  authored and

  andriusvelykis

  committed
  663cc75

  Copy full SHA for 663cc75

Commits on Nov 21, 2013

• actually expose errors of cumulative theory dependencies;

  Show description for 7a9d5c8
  

  makarius

  authored and

  andriusvelykis

  committed
  7a9d5c8

  Copy full SHA for 7a9d5c8

• proper concatenation of messages;

  Show description for 8f79b1e
  

  makarius

  authored and

  andriusvelykis

  committed
  8f79b1e

  Copy full SHA for 8f79b1e

Commits on Nov 20, 2013

• restrict node_required status and Theories panel to actual theories;

  Show description for c8d6faa
  

  makarius

  authored and

  andriusvelykis

  committed
  c8d6faa

  Copy full SHA for c8d6faa

• ranges of thy_load commands count as visible within perspective;

  Show description for 03f9a91
  

  makarius

  authored and

  andriusvelykis

  committed
  03f9a91

  Copy full SHA for 03f9a91

• tuned;

  Show description for 0f558ad
  

  makarius

  authored and

  andriusvelykis

  committed
  0f558ad

  Copy full SHA for 0f558ad

• refer to thy_load command of auxiliary file;

  Show description for ee2581c
  

  makarius

  authored and

  andriusvelykis

  committed
  ee2581c

  Copy full SHA for ee2581c

• load files that are not provided by PIDE blobs;

  Show description for 2e0261e
  

  makarius

  authored and

  andriusvelykis

  committed
  2e0261e

  Copy full SHA for 2e0261e

Pagination

Previous

Next