haftmann [Mon, 09 Jan 2017 23:00:11 +0100] rev 64860
generalized definition
wenzelm [Mon, 09 Jan 2017 23:27:10 +0100] rev 64859
tuned output;
wenzelm [Mon, 09 Jan 2017 22:54:48 +0100] rev 64858
update File_Model based on file-system events;
wenzelm [Mon, 09 Jan 2017 21:51:39 +0100] rev 64857
tuned;
wenzelm [Mon, 09 Jan 2017 20:47:45 +0100] rev 64856
clarified modules;
tuned;
wenzelm [Mon, 09 Jan 2017 20:31:00 +0100] rev 64855
tuned;
wenzelm [Mon, 09 Jan 2017 20:26:59 +0100] rev 64854
tuned signature;
nipkow [Mon, 09 Jan 2017 19:34:16 +0100] rev 64853
merged
nipkow [Mon, 09 Jan 2017 19:34:02 +0100] rev 64852
fix problems because of "surj" input abbreviation; tuned
nipkow [Mon, 09 Jan 2017 19:32:40 +0100] rev 64851
hide global sum
haftmann [Mon, 09 Jan 2017 19:13:49 +0100] rev 64850
gcd/lcm on finite sets
haftmann [Mon, 09 Jan 2017 18:53:20 +0100] rev 64849
moved some lemmas to appropriate places
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
paulson <lp15@cam.ac.uk> [Mon, 09 Jan 2017 15:54:48 +0000] rev 64847
fixed LaTeX problems
paulson <lp15@cam.ac.uk> [Mon, 09 Jan 2017 14:40:31 +0000] rev 64846
Jordan Curve Theorem
paulson <lp15@cam.ac.uk> [Mon, 09 Jan 2017 14:00:13 +0000] rev 64845
Advanced topology
wenzelm [Mon, 09 Jan 2017 00:08:18 +0100] rev 64844
NEWS for VSCode;
wenzelm [Sun, 08 Jan 2017 19:35:14 +0100] rev 64843
merged
wenzelm [Sun, 08 Jan 2017 19:34:44 +0100] rev 64842
more documentation;
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;
wenzelm [Sun, 08 Jan 2017 17:53:44 +0100] rev 64840
tuned;
wenzelm [Sun, 08 Jan 2017 17:42:31 +0100] rev 64839
tuned signature;
wenzelm [Sun, 08 Jan 2017 17:36:00 +0100] rev 64838
avoid immediate editor.flush on buffer events;
wenzelm [Sun, 08 Jan 2017 17:22:14 +0100] rev 64837
refer to internal File_Model instead of external file;
wenzelm [Sun, 08 Jan 2017 17:10:42 +0100] rev 64836
tuned;
wenzelm [Sun, 08 Jan 2017 16:47:53 +0100] rev 64835
resolve dependencies implicitly via File_Model, without jEdit Buffer_Model;
wenzelm [Sun, 08 Jan 2017 14:46:04 +0100] rev 64834
tuned;
wenzelm [Sun, 08 Jan 2017 13:08:17 +0100] rev 64833
support for bibtex entries;