Issues

• View for lemma definitions

  enhancement
  andriusvelykis/isabelle-eclipse#83 · Filter by author andriusvelykis opened on Jun 27, 2014
  1

• Support Isabelle2013-1

  andriusvelykis/isabelle-eclipse#82 · Filter by author andriusvelykis opened on Nov 13, 2013
  4

• Flickering prover output

  bug
  andriusvelykis/isabelle-eclipse#81 · Filter by author andriusvelykis opened on Jun 14, 2013 · 1.3.0

• Editor issues

  andriusvelykis/isabelle-eclipse#78 · Filter by author leouk opened on May 24, 2013

• Few initialisation defaults (minor)

  andriusvelykis/isabelle-eclipse#77 · Filter by author leouk opened on May 24, 2013
  1

• Add update site to default list

  andriusvelykis/isabelle-eclipse#76 · Filter by author leouk opened on May 14, 2013

• Switch workspace fails?

  bug
  andriusvelykis/isabelle-eclipse#75 · Filter by author leouk opened on May 14, 2013
  1

• Update site failing

  andriusvelykis/isabelle-eclipse#74 · Filter by author leouk opened on May 14, 2013

• export_code file - does not produce any output

  andriusvelykis/isabelle-eclipse#73 · Filter by author Necoro opened on Apr 17, 2013

• Informational message window

  andriusvelykis/isabelle-eclipse#72 · Filter by author Necoro opened on Apr 17, 2013

• Auto-start Isabelle

  enhancement
  andriusvelykis/isabelle-eclipse#71 · Filter by author andriusvelykis opened on Apr 17, 2013

• Default keyboard shortcut for annotations

  enhancement
  andriusvelykis/isabelle-eclipse#70 · Filter by author andriusvelykis opened on Apr 17, 2013

• Problems importing files on-the-fly

  bug
  andriusvelykis/isabelle-eclipse#68 · Filter by author andriusvelykis opened on Apr 17, 2013 · 1.3.0
  1

• NullPointerException during generating Heap-File

  andriusvelykis/isabelle-eclipse#67 · Filter by author Necoro opened on Apr 17, 2013

• Provide convenient API to check proof script

  enhancement
  andriusvelykis/isabelle-eclipse#62 · Filter by author andriusvelykis opened on Apr 15, 2013

• Prover Output window "lost"

  andriusvelykis/isabelle-eclipse#57 · Filter by author makarius opened on Apr 5, 2013
  1

• Syntax colouring preference previewer

  enhancement
  andriusvelykis/isabelle-eclipse#54 · Filter by author andriusvelykis opened on Apr 5, 2013

• Underline style preference UI

  enhancement
  andriusvelykis/isabelle-eclipse#53 · Filter by author andriusvelykis opened on Apr 5, 2013

• Distribute Isabelle/Eclipse source code via update sites

  enhancement
  andriusvelykis/isabelle-eclipse#52 · Filter by author andriusvelykis opened on Apr 4, 2013

• isabelle-eclipse symlink on Mac is invalid

  bug
  andriusvelykis/isabelle-eclipse#51 · Filter by author andriusvelykis opened on Apr 4, 2013
  1

• Avoid hard tabulators?

  andriusvelykis/isabelle-eclipse#50 · Filter by author makarius opened on Apr 4, 2013

• Startup problems on Windows and Mac OS X

  andriusvelykis/isabelle-eclipse#49 · Filter by author makarius opened on Apr 4, 2013
  4

• Output re-tokenized as input

  bug
  andriusvelykis/isabelle-eclipse#46 · Filter by author makarius opened on Apr 3, 2013

• Monitor view

  enhancementparity-isabelle2013
  andriusvelykis/isabelle-eclipse#44 · Filter by author andriusvelykis opened on Apr 3, 2013

• Track if Isabelle process dies

  enhancementparity-isabelle2013
  andriusvelykis/isabelle-eclipse#42 · Filter by author andriusvelykis opened on Apr 3, 2013