Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fri, 13 Jan 2017 11:41:50 +0100 tuned/minimized
changeset
nipkow [Fri, 13 Jan 2017 11:41:50 +0100] rev 64887
tuned/minimized
Thu, 12 Jan 2017 15:54:13 +0100 added lemma
changeset
blanchet [Thu, 12 Jan 2017 15:54:13 +0100] rev 64886
added lemma
Thu, 12 Jan 2017 12:32:32 +0100 tuned whitespace;
changeset
wenzelm [Thu, 12 Jan 2017 12:32:32 +0100] rev 64885
tuned whitespace;
Thu, 12 Jan 2017 12:29:12 +0100 more robust: delay switches thread context from timer to GUI and may get out of sync with revoke operation;
changeset
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;
Thu, 12 Jan 2017 11:20:40 +0100 tuned signature;
changeset
wenzelm [Thu, 12 Jan 2017 11:20:40 +0100] rev 64883
tuned signature;
Thu, 12 Jan 2017 11:17:05 +0100 tuned signature;
changeset
wenzelm [Thu, 12 Jan 2017 11:17:05 +0100] rev 64882
tuned signature;
Wed, 11 Jan 2017 22:30:11 +0100 improved chart plotting
changeset
haftmann [Wed, 11 Jan 2017 22:30:11 +0100] rev 64881
improved chart plotting
Wed, 11 Jan 2017 22:08:20 +0100 augmented user aliasses
changeset
haftmann [Wed, 11 Jan 2017 22:08:20 +0100] rev 64880
augmented user aliasses
Wed, 11 Jan 2017 21:32:46 +0100 proper treatment of utf-8
changeset
haftmann [Wed, 11 Jan 2017 21:32:46 +0100] rev 64879
proper treatment of utf-8
Wed, 11 Jan 2017 20:15:17 +0100 tuned;
changeset
wenzelm [Wed, 11 Jan 2017 20:15:17 +0100] rev 64878
tuned;
Wed, 11 Jan 2017 20:01:55 +0100 support for semantic completion;
changeset
wenzelm [Wed, 11 Jan 2017 20:01:55 +0100] rev 64877
support for semantic completion;
Wed, 11 Jan 2017 16:43:31 +0100 generalized types in lemmas
changeset
blanchet [Wed, 11 Jan 2017 16:43:31 +0100] rev 64876
generalized types in lemmas
Wed, 11 Jan 2017 16:28:48 +0100 updated package;
changeset
wenzelm [Wed, 11 Jan 2017 16:28:48 +0100] rev 64875
updated package;
Wed, 11 Jan 2017 16:25:15 +0100 enable vscode_unicode_symbols by default, despite asymmetry of input and output;
changeset
wenzelm [Wed, 11 Jan 2017 16:25:15 +0100] rev 64874
enable vscode_unicode_symbols by default, despite asymmetry of input and output;
Wed, 11 Jan 2017 16:11:39 +0100 more documentation;
changeset
wenzelm [Wed, 11 Jan 2017 16:11:39 +0100] rev 64873
more documentation;
Wed, 11 Jan 2017 16:01:19 +0100 generated configuration for Prettify Symbols Mode;
changeset
wenzelm [Wed, 11 Jan 2017 16:01:19 +0100] rev 64872
generated configuration for Prettify Symbols Mode;
Wed, 11 Jan 2017 14:48:07 +0100 tuned;
changeset
wenzelm [Wed, 11 Jan 2017 14:48:07 +0100] rev 64871
tuned;
Wed, 11 Jan 2017 14:22:57 +0100 clarified text output wrt. symbols;
changeset
wenzelm [Wed, 11 Jan 2017 14:22:57 +0100] rev 64870
clarified text output wrt. symbols;
Tue, 10 Jan 2017 17:24:15 +0100 merged
changeset
wenzelm [Tue, 10 Jan 2017 17:24:15 +0100] rev 64869
merged
Tue, 10 Jan 2017 17:13:01 +0100 tuned signature;
changeset
wenzelm [Tue, 10 Jan 2017 17:13:01 +0100] rev 64868
tuned signature;
Tue, 10 Jan 2017 16:53:05 +0100 support "purge" operation on document model;
changeset
wenzelm [Tue, 10 Jan 2017 16:53:05 +0100] rev 64867
support "purge" operation on document model;
Tue, 10 Jan 2017 16:09:04 +0100 proper template;
changeset
wenzelm [Tue, 10 Jan 2017 16:09:04 +0100] rev 64866
proper template;
Tue, 10 Jan 2017 16:03:50 +0100 tuned;
changeset
wenzelm [Tue, 10 Jan 2017 16:03:50 +0100] rev 64865
tuned;
Tue, 10 Jan 2017 09:47:23 +0100 accomodate very big file_models and changed_files;
changeset
wenzelm [Tue, 10 Jan 2017 09:47:23 +0100] rev 64864
accomodate very big file_models and changed_files;
Tue, 10 Jan 2017 09:40:26 +0100 tuned;
changeset
wenzelm [Tue, 10 Jan 2017 09:40:26 +0100] rev 64863
tuned;
Tue, 10 Jan 2017 14:29:40 +0100 tuned
changeset
nipkow [Tue, 10 Jan 2017 14:29:40 +0100] rev 64862
tuned
Tue, 10 Jan 2017 11:37:18 +0100 separate instance for semidom_modulo
changeset
haftmann [Tue, 10 Jan 2017 11:37:18 +0100] rev 64861
separate instance for semidom_modulo
Mon, 09 Jan 2017 23:00:11 +0100 generalized definition
changeset
haftmann [Mon, 09 Jan 2017 23:00:11 +0100] rev 64860
generalized definition
Mon, 09 Jan 2017 23:27:10 +0100 tuned output;
changeset
wenzelm [Mon, 09 Jan 2017 23:27:10 +0100] rev 64859
tuned output;
Mon, 09 Jan 2017 22:54:48 +0100 update File_Model based on file-system events;
changeset
wenzelm [Mon, 09 Jan 2017 22:54:48 +0100] rev 64858
update File_Model based on file-system events;
Mon, 09 Jan 2017 21:51:39 +0100 tuned;
changeset
wenzelm [Mon, 09 Jan 2017 21:51:39 +0100] rev 64857
tuned;
Mon, 09 Jan 2017 20:47:45 +0100 clarified modules;
changeset
wenzelm [Mon, 09 Jan 2017 20:47:45 +0100] rev 64856
clarified modules; tuned;
Mon, 09 Jan 2017 20:31:00 +0100 tuned;
changeset
wenzelm [Mon, 09 Jan 2017 20:31:00 +0100] rev 64855
tuned;
Mon, 09 Jan 2017 20:26:59 +0100 tuned signature;
changeset
wenzelm [Mon, 09 Jan 2017 20:26:59 +0100] rev 64854
tuned signature;
Mon, 09 Jan 2017 19:34:16 +0100 merged
changeset
nipkow [Mon, 09 Jan 2017 19:34:16 +0100] rev 64853
merged
Mon, 09 Jan 2017 19:34:02 +0100 fix problems because of "surj" input abbreviation; tuned
changeset
nipkow [Mon, 09 Jan 2017 19:34:02 +0100] rev 64852
fix problems because of "surj" input abbreviation; tuned
Mon, 09 Jan 2017 19:32:40 +0100 hide global sum
changeset
nipkow [Mon, 09 Jan 2017 19:32:40 +0100] rev 64851
hide global sum
Mon, 09 Jan 2017 19:13:49 +0100 gcd/lcm on finite sets
changeset
haftmann [Mon, 09 Jan 2017 19:13:49 +0100] rev 64850
gcd/lcm on finite sets
Mon, 09 Jan 2017 18:53:20 +0100 moved some lemmas to appropriate places
changeset
haftmann [Mon, 09 Jan 2017 18:53:20 +0100] rev 64849
moved some lemmas to appropriate places
Mon, 09 Jan 2017 18:53:06 +0100 slightly generalized type class hierarchy concerning unit factors, to allow for lean polynomial normalization
changeset
haftmann [Mon, 09 Jan 2017 18:53:06 +0100] rev 64848
slightly generalized type class hierarchy concerning unit factors, to allow for lean polynomial normalization
Mon, 09 Jan 2017 15:54:48 +0000 fixed LaTeX problems
changeset
paulson <lp15@cam.ac.uk> [Mon, 09 Jan 2017 15:54:48 +0000] rev 64847
fixed LaTeX problems
Mon, 09 Jan 2017 14:40:31 +0000 Jordan Curve Theorem
changeset
paulson <lp15@cam.ac.uk> [Mon, 09 Jan 2017 14:40:31 +0000] rev 64846
Jordan Curve Theorem
Mon, 09 Jan 2017 14:00:13 +0000 Advanced topology
changeset
paulson <lp15@cam.ac.uk> [Mon, 09 Jan 2017 14:00:13 +0000] rev 64845
Advanced topology
Mon, 09 Jan 2017 00:08:18 +0100 NEWS for VSCode;
changeset
wenzelm [Mon, 09 Jan 2017 00:08:18 +0100] rev 64844
NEWS for VSCode;
Sun, 08 Jan 2017 19:35:14 +0100 merged
changeset
wenzelm [Sun, 08 Jan 2017 19:35:14 +0100] rev 64843
merged
Sun, 08 Jan 2017 19:34:44 +0100 more documentation;
changeset
wenzelm [Sun, 08 Jan 2017 19:34:44 +0100] rev 64842
more documentation;
Sun, 08 Jan 2017 19:08:26 +0100 added node_name(String): imitate jEdit buffer operations;
changeset
wenzelm [Sun, 08 Jan 2017 19:08:26 +0100] rev 64841
added node_name(String): imitate jEdit buffer operations; more uniform get_file_content for external source file references;
Sun, 08 Jan 2017 17:53:44 +0100 tuned;
changeset
wenzelm [Sun, 08 Jan 2017 17:53:44 +0100] rev 64840
tuned;
Sun, 08 Jan 2017 17:42:31 +0100 tuned signature;
changeset
wenzelm [Sun, 08 Jan 2017 17:42:31 +0100] rev 64839
tuned signature;
Sun, 08 Jan 2017 17:36:00 +0100 avoid immediate editor.flush on buffer events;
changeset
wenzelm [Sun, 08 Jan 2017 17:36:00 +0100] rev 64838
avoid immediate editor.flush on buffer events;
Sun, 08 Jan 2017 17:22:14 +0100 refer to internal File_Model instead of external file;
changeset
wenzelm [Sun, 08 Jan 2017 17:22:14 +0100] rev 64837
refer to internal File_Model instead of external file;
Sun, 08 Jan 2017 17:10:42 +0100 tuned;
changeset
wenzelm [Sun, 08 Jan 2017 17:10:42 +0100] rev 64836
tuned;
Sun, 08 Jan 2017 16:47:53 +0100 resolve dependencies implicitly via File_Model, without jEdit Buffer_Model;
changeset
wenzelm [Sun, 08 Jan 2017 16:47:53 +0100] rev 64835
resolve dependencies implicitly via File_Model, without jEdit Buffer_Model;
Sun, 08 Jan 2017 14:46:04 +0100 tuned;
changeset
wenzelm [Sun, 08 Jan 2017 14:46:04 +0100] rev 64834
tuned;
Sun, 08 Jan 2017 13:08:17 +0100 support for bibtex entries;
changeset
wenzelm [Sun, 08 Jan 2017 13:08:17 +0100] rev 64833
support for bibtex entries;
Sun, 08 Jan 2017 13:03:14 +0100 tuned;
changeset
wenzelm [Sun, 08 Jan 2017 13:03:14 +0100] rev 64832
tuned;
Sun, 08 Jan 2017 12:31:45 +0100 tuned signature;
changeset
wenzelm [Sun, 08 Jan 2017 12:31:45 +0100] rev 64831
tuned signature;
Sun, 08 Jan 2017 12:00:37 +0100 more explocit Document_Model.Content;
changeset
wenzelm [Sun, 08 Jan 2017 12:00:37 +0100] rev 64830
more explocit Document_Model.Content;
Sun, 08 Jan 2017 11:41:18 +0100 refer to bibtex entries via general Document_Model, instead of editor buffers;
changeset
wenzelm [Sun, 08 Jan 2017 11:41:18 +0100] rev 64829
refer to bibtex entries via general Document_Model, instead of editor buffers;
Sun, 08 Jan 2017 10:56:33 +0100 clarified modules;
changeset
wenzelm [Sun, 08 Jan 2017 10:56:33 +0100] rev 64828
clarified modules;
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 tip
isabelle