Mon, 10 Aug 2015 17:49:36 +0200 |
wenzelm |
added action to toggle breakpoints (on editor side);
|
file |
diff |
annotate
|
Sun, 05 Oct 2014 18:44:04 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
Sun, 05 Oct 2014 18:30:43 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
Sun, 05 Oct 2014 18:14:26 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
Sun, 05 Oct 2014 15:05:26 +0200 |
wenzelm |
maintain Document_Model.bibtex_entries;
|
file |
diff |
annotate
|
Fri, 03 Oct 2014 14:46:26 +0200 |
wenzelm |
SideKick parser for bibtex entries;
|
file |
diff |
annotate
|
Fri, 03 Oct 2014 11:16:28 +0200 |
wenzelm |
more buffer.isEditable checks;
|
file |
diff |
annotate
|
Fri, 03 Oct 2014 11:03:37 +0200 |
wenzelm |
context menu for bibtex entries;
|
file |
diff |
annotate
|
Tue, 15 Apr 2014 21:13:20 +0200 |
wenzelm |
more context-sensitivity;
|
file |
diff |
annotate
|
Tue, 15 Apr 2014 12:45:16 +0200 |
wenzelm |
avoid conflict of Isabelle/jEdit popups with jEdit context menu;
|
file |
diff |
annotate
|
Tue, 15 Apr 2014 11:26:17 +0200 |
wenzelm |
explicit menu action to complete word;
|
file |
diff |
annotate
|
Tue, 15 Apr 2014 11:05:48 +0200 |
wenzelm |
common context menu for Isabelle/jEdit;
|
file |
diff |
annotate
|