| Thu, 27 Aug 2009 10:51:09 +0200 |
immler |
Command notifies changes
|
changeset |
files
|
| Thu, 27 Aug 2009 10:51:09 +0200 |
immler |
change_receiver and output_info are used before regular initialisation
|
changeset |
files
|
| Thu, 27 Aug 2009 10:51:09 +0200 |
immler |
TheoryView starts Prover
|
changeset |
files
|
| Thu, 27 Aug 2009 10:51:09 +0200 |
immler |
output_info specific to prover
|
changeset |
files
|
| Thu, 27 Aug 2009 10:51:09 +0200 |
immler |
proper activation with multiple buffers
|
changeset |
files
|
| Thu, 27 Aug 2009 10:51:09 +0200 |
immler |
state_update global in Plugin
|
changeset |
files
|
| Thu, 27 Aug 2009 10:51:09 +0200 |
immler |
unused
|
changeset |
files
|
| Thu, 27 Aug 2009 10:51:09 +0200 |
immler |
fixed special case;
|
changeset |
files
|
| Thu, 27 Aug 2009 10:51:09 +0200 |
immler |
added shortcut
|
changeset |
files
|
| Sat, 22 Aug 2009 23:24:15 +0200 |
wenzelm |
generalized settings;
|
changeset |
files
|
| Sat, 22 Aug 2009 23:17:09 +0200 |
wenzelm |
Isabelle component;
|
changeset |
files
|
| Sat, 22 Aug 2009 22:54:36 +0200 |
wenzelm |
less ambitious array operations -- for improved compatibility with older versions of bash;
|
changeset |
files
|
| Thu, 13 Aug 2009 16:01:55 +0200 |
immler |
Text is not present any more
|
changeset |
files
|
| Thu, 13 Aug 2009 15:46:32 +0200 |
immler |
typo
|
changeset |
files
|
| Fri, 07 Aug 2009 13:04:59 +0200 |
immler |
Change consisting of a list of Edits
|
changeset |
files
|