haftmann [Wed, 24 Aug 2022 08:22:13 +0000] rev 75963
avoid duplicate fact error on global_interpretation of residues
haftmann [Wed, 24 Aug 2022 06:21:06 +0000] rev 75962
avoid looping simplification for z2
wenzelm [Mon, 22 Aug 2022 21:37:06 +0200] rev 75961
more formal meta data, within ".browser_info";
update_chapter for each session when it is finished;
wenzelm [Mon, 22 Aug 2022 21:25:12 +0200] rev 75960
tuned signature;
wenzelm [Mon, 22 Aug 2022 15:00:46 +0200] rev 75959
support for pretty-printing of JSON trees;
wenzelm [Mon, 22 Aug 2022 14:48:14 +0200] rev 75958
tuned signature;
more operations;
wenzelm [Mon, 22 Aug 2022 13:29:06 +0200] rev 75957
tuned: slightly more generic operations;
Mathias Fleury <Mathias.Fleury@mpi-inf.mpg.de> [Mon, 22 Aug 2022 06:27:28 +0200] rev 75956
remove duplicate parsing for alethe; fix skolemization;
haftmann [Sun, 21 Aug 2022 14:01:59 +0000] rev 75955
Gauss numbers
wenzelm [Sun, 21 Aug 2022 23:01:08 +0200] rev 75954
disable laramac01 for now: system update pending;
wenzelm [Sun, 21 Aug 2022 15:16:26 +0200] rev 75953
clarified synchronized operations: approximate file-system transactions;
wenzelm [Sun, 21 Aug 2022 15:00:14 +0200] rev 75952
more robust concurrency: use shared Browser_Info.Context with synchronized file-system operations;
tuned signature;
wenzelm [Sun, 21 Aug 2022 13:57:40 +0200] rev 75951
NEWS;
wenzelm [Sun, 21 Aug 2022 13:45:50 +0200] rev 75950
tuned;
wenzelm [Sun, 21 Aug 2022 13:44:39 +0200] rev 75949
tuned comments, following "isabelle build" usage;
wenzelm [Sun, 21 Aug 2022 13:16:44 +0200] rev 75948
clarified names;
wenzelm [Sun, 21 Aug 2022 13:12:25 +0200] rev 75947
clarified modules;
wenzelm [Sun, 21 Aug 2022 12:53:46 +0200] rev 75946
proper theory_dir for links to other session;
wenzelm [Sun, 21 Aug 2022 12:41:16 +0200] rev 75945
tuned sources and comments;
wenzelm [Sun, 21 Aug 2022 12:35:45 +0200] rev 75944
clarified signature;
wenzelm [Sun, 21 Aug 2022 12:23:17 +0200] rev 75943
tuned sources and comments;
wenzelm [Sun, 21 Aug 2022 12:19:38 +0200] rev 75942
clarified names: Browser_Info.Config vs. Browser_Info.Context;
wenzelm [Sun, 21 Aug 2022 11:59:25 +0200] rev 75941
clarified modules;
wenzelm [Sun, 21 Aug 2022 11:52:51 +0200] rev 75940
clarified signature: terminology of "base" (here) vs. "root" (there);
wenzelm [Sun, 21 Aug 2022 11:48:14 +0200] rev 75939
tuned;
wenzelm [Sun, 21 Aug 2022 11:45:14 +0200] rev 75938
proper fonts_prefix (amending c14409948063): default is "" due to self-cancellation of dir;
haftmann [Sun, 21 Aug 2022 06:18:23 +0000] rev 75937
streamlined
haftmann [Sun, 21 Aug 2022 06:18:23 +0000] rev 75936
simplified computation algorithm construction
wenzelm [Sat, 20 Aug 2022 21:34:55 +0200] rev 75935
merged;
wenzelm [Sat, 20 Aug 2022 21:33:51 +0200] rev 75934
more robust GUI initialization (amending 29441f2bfe81);
wenzelm [Sat, 20 Aug 2022 21:14:01 +0200] rev 75933
clarified signature: just one common operation;
wenzelm [Sat, 20 Aug 2022 18:55:48 +0200] rev 75932
clarified paths and links;
proper node_context for aux. files: to get links within them;