wenzelm [Sat, 14 Jan 2017 21:48:23 +0100] rev 64893
more options;
wenzelm [Sat, 14 Jan 2017 21:29:21 +0100] rev 64892
do avoid suspicious Unicode;
wenzelm [Sat, 14 Jan 2017 20:39:16 +0100] rev 64891
more standard header;
avoid suspicious Unicode;
wenzelm [Sat, 14 Jan 2017 20:33:55 +0100] rev 64890
build docker image from Isabelle application bundle for Linux;
wenzelm [Sat, 14 Jan 2017 20:22:15 +0100] rev 64889
tuned message;
eberlm <eberlm@in.tum.de> [Fri, 13 Jan 2017 17:45:51 +0100] rev 64888
Added Circle_Area to HOL-Analysis examples
nipkow [Fri, 13 Jan 2017 11:41:50 +0100] rev 64887
tuned/minimized
blanchet [Thu, 12 Jan 2017 15:54:13 +0100] rev 64886
added lemma
wenzelm [Thu, 12 Jan 2017 12:32:32 +0100] rev 64885
tuned whitespace;
wenzelm [Thu, 12 Jan 2017 12:29:12 +0100] rev 64884
more robust: delay switches thread context from timer to GUI and may get out of sync with revoke operation;
wenzelm [Thu, 12 Jan 2017 11:20:40 +0100] rev 64883
tuned signature;
wenzelm [Thu, 12 Jan 2017 11:17:05 +0100] rev 64882
tuned signature;
haftmann [Wed, 11 Jan 2017 22:30:11 +0100] rev 64881
improved chart plotting
haftmann [Wed, 11 Jan 2017 22:08:20 +0100] rev 64880
augmented user aliasses
haftmann [Wed, 11 Jan 2017 21:32:46 +0100] rev 64879
proper treatment of utf-8
wenzelm [Wed, 11 Jan 2017 20:15:17 +0100] rev 64878
tuned;
wenzelm [Wed, 11 Jan 2017 20:01:55 +0100] rev 64877
support for semantic completion;
blanchet [Wed, 11 Jan 2017 16:43:31 +0100] rev 64876
generalized types in lemmas
wenzelm [Wed, 11 Jan 2017 16:28:48 +0100] rev 64875
updated package;
wenzelm [Wed, 11 Jan 2017 16:25:15 +0100] rev 64874
enable vscode_unicode_symbols by default, despite asymmetry of input and output;
wenzelm [Wed, 11 Jan 2017 16:11:39 +0100] rev 64873
more documentation;
wenzelm [Wed, 11 Jan 2017 16:01:19 +0100] rev 64872
generated configuration for Prettify Symbols Mode;
wenzelm [Wed, 11 Jan 2017 14:48:07 +0100] rev 64871
tuned;
wenzelm [Wed, 11 Jan 2017 14:22:57 +0100] rev 64870
clarified text output wrt. symbols;
wenzelm [Tue, 10 Jan 2017 17:24:15 +0100] rev 64869
merged
wenzelm [Tue, 10 Jan 2017 17:13:01 +0100] rev 64868
tuned signature;
wenzelm [Tue, 10 Jan 2017 16:53:05 +0100] rev 64867
support "purge" operation on document model;
wenzelm [Tue, 10 Jan 2017 16:09:04 +0100] rev 64866
proper template;
wenzelm [Tue, 10 Jan 2017 16:03:50 +0100] rev 64865
tuned;
wenzelm [Tue, 10 Jan 2017 09:47:23 +0100] rev 64864
accomodate very big file_models and changed_files;