Skip to content

Issues: andriusvelykis/isabelle-eclipse

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

37 Open 46 Closed
37 Open 46 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

View for lemma definitions enhancement
#83 opened Jun 27, 2014 by andriusvelykis
1
Support Isabelle2013-1
#82 opened Nov 13, 2013 by andriusvelykis
4
Flickering prover output bug
#81 opened Jun 14, 2013 by andriusvelykis 1.3.0
Editor issues
#78 opened May 24, 2013 by leouk
Few initialisation defaults (minor)
#77 opened May 24, 2013 by leouk
1
Add update site to default list
#76 opened May 14, 2013 by leouk
Switch workspace fails? bug
#75 opened May 14, 2013 by leouk
1
Update site failing
#74 opened May 14, 2013 by leouk
export_code file - does not produce any output
#73 opened Apr 17, 2013 by Necoro
Informational message window
#72 opened Apr 17, 2013 by Necoro
Auto-start Isabelle enhancement
#71 opened Apr 17, 2013 by andriusvelykis
Default keyboard shortcut for annotations enhancement
#70 opened Apr 17, 2013 by andriusvelykis
Problems importing files on-the-fly bug
#68 opened Apr 17, 2013 by andriusvelykis 1.3.0
1
NullPointerException during generating Heap-File
#67 opened Apr 17, 2013 by Necoro
Provide convenient API to check proof script enhancement
#62 opened Apr 15, 2013 by andriusvelykis
Prover Output window "lost"
#57 opened Apr 5, 2013 by makarius
1
Syntax colouring preference previewer enhancement
#54 opened Apr 5, 2013 by andriusvelykis
Underline style preference UI enhancement
#53 opened Apr 5, 2013 by andriusvelykis
Distribute Isabelle/Eclipse source code via update sites enhancement
#52 opened Apr 4, 2013 by andriusvelykis
isabelle-eclipse symlink on Mac is invalid bug
#51 opened Apr 4, 2013 by andriusvelykis
1
Avoid hard tabulators?
#50 opened Apr 4, 2013 by makarius
Startup problems on Windows and Mac OS X
#49 opened Apr 4, 2013 by makarius
4
Output re-tokenized as input bug
#46 opened Apr 3, 2013 by makarius
Monitor view enhancement parity-isabelle2013
#44 opened Apr 3, 2013 by andriusvelykis
Track if Isabelle process dies enhancement parity-isabelle2013
#42 opened Apr 3, 2013 by andriusvelykis
ProTip! Updated in the last three days: updated:>2024-12-18.