wenzelm [Thu, 04 Aug 2022 13:49:57 +0200] rev 75754
tuned signature;
wenzelm [Thu, 04 Aug 2022 13:44:21 +0200] rev 75753
clarified signature: Export.Provider knows its (accidental) theory_names;
wenzelm [Thu, 04 Aug 2022 12:43:33 +0200] rev 75752
clarified signature;
wenzelm [Thu, 04 Aug 2022 12:14:56 +0200] rev 75751
tuned, following hints by IntelliJ IDEA;
wenzelm [Thu, 04 Aug 2022 12:00:58 +0200] rev 75750
clarified signature: proper session_name for Sessions.Base (like Sessions.Info);
wenzelm [Thu, 04 Aug 2022 11:29:40 +0200] rev 75749
tuned signature;
wenzelm [Wed, 03 Aug 2022 13:49:41 +0200] rev 75748
clarified signature;
wenzelm [Wed, 03 Aug 2022 13:07:32 +0200] rev 75747
clarified signature;
wenzelm [Wed, 03 Aug 2022 12:58:17 +0200] rev 75746
clarified signature;
wenzelm [Wed, 03 Aug 2022 12:25:37 +0200] rev 75745
avoid multiple load_commands;
wenzelm [Wed, 03 Aug 2022 12:25:23 +0200] rev 75744
avoid redundant dependencies.load_commands with potential errors (amending ea4f86914cb2);
wenzelm [Wed, 03 Aug 2022 12:18:55 +0200] rev 75743
tuned signature -- avoid redundant arguments;
wenzelm [Wed, 03 Aug 2022 12:14:58 +0200] rev 75742
tuned -- following hints by IntelliJ IDEA;
wenzelm [Wed, 03 Aug 2022 12:10:52 +0200] rev 75741
tuned signature;
wenzelm [Wed, 03 Aug 2022 11:43:14 +0200] rev 75740
tuned comments;
wenzelm [Wed, 03 Aug 2022 11:23:12 +0200] rev 75739
removed somewhat pointless transaction: db is meant to be finished (or updated monotonically);
wenzelm [Tue, 02 Aug 2022 19:25:37 +0200] rev 75738
tuned signature;
wenzelm [Tue, 02 Aug 2022 16:02:06 +0200] rev 75737
clarified signature;
wenzelm [Tue, 02 Aug 2022 15:53:48 +0200] rev 75736
clarified signature: avoid repeated db_context.input_database;
wenzelm [Tue, 02 Aug 2022 15:49:57 +0200] rev 75735
clarified signature: more robust;
wenzelm [Tue, 02 Aug 2022 12:57:04 +0200] rev 75734
removed somewhat pointless operations (see a6c69599ab99);
wenzelm [Sat, 30 Jul 2022 14:49:22 +0200] rev 75733
clarified signature;
wenzelm [Sat, 30 Jul 2022 14:13:43 +0200] rev 75732
tuned;
wenzelm [Sat, 30 Jul 2022 14:00:03 +0200] rev 75731
tuned;
wenzelm [Sat, 30 Jul 2022 13:58:01 +0200] rev 75730
clarified signature;
wenzelm [Sat, 30 Jul 2022 13:53:15 +0200] rev 75729
clarified names;
wenzelm [Sat, 30 Jul 2022 13:44:26 +0200] rev 75728
clarified signature;
wenzelm [Sat, 30 Jul 2022 13:06:19 +0200] rev 75727
clarified names;
wenzelm [Sat, 30 Jul 2022 11:35:04 +0200] rev 75726
clarified signature;
wenzelm [Sat, 30 Jul 2022 11:10:39 +0200] rev 75725
clarified signature: more explicit types;
wenzelm [Fri, 29 Jul 2022 16:37:36 +0200] rev 75724
unused (see 0d30ea76756c);
wenzelm [Fri, 29 Jul 2022 16:21:19 +0200] rev 75723
tuned;
wenzelm [Fri, 29 Jul 2022 16:04:56 +0200] rev 75722
clarified signature;
wenzelm [Fri, 29 Jul 2022 15:48:59 +0200] rev 75721
tuned;
wenzelm [Fri, 29 Jul 2022 15:47:21 +0200] rev 75720
unused (see 3064e165c660);
blanchet [Tue, 02 Aug 2022 13:24:19 +0200] rev 75719
merge
blanchet [Tue, 02 Aug 2022 13:23:57 +0200] rev 75718
changed the order of Zipperposition slices in Sledgehammer
paulson [Tue, 02 Aug 2022 12:19:26 +0100] rev 75717
merged
paulson <lp15@cam.ac.uk> [Tue, 02 Aug 2022 12:19:05 +0100] rev 75716
The wellordering instantiation for length-ordered lists
nipkow [Tue, 02 Aug 2022 13:15:59 +0200] rev 75715
show sum_list defn
nipkow [Fri, 29 Jul 2022 08:45:51 +0200] rev 75714
prettified def
haftmann [Thu, 28 Jul 2022 19:14:49 +0200] rev 75713
More lemmas.
haftmann [Thu, 28 Jul 2022 16:50:15 +0200] rev 75712
Some more proofs.
paulson <lp15@cam.ac.uk> [Thu, 28 Jul 2022 12:33:20 +0100] rev 75711
a few new theorems
wenzelm [Wed, 27 Jul 2022 13:17:32 +0200] rev 75710
tuned;
wenzelm [Wed, 27 Jul 2022 13:13:59 +0200] rev 75709
clarified while-loops;
wenzelm [Wed, 27 Jul 2022 12:49:31 +0200] rev 75708
updated to postgresql-42.4.0;
wenzelm [Wed, 27 Jul 2022 12:38:50 +0200] rev 75707
updated to flatlaf-2.4;
wenzelm [Wed, 27 Jul 2022 12:28:53 +0200] rev 75706
updated to pdfjs-2.14.305;
prefer "legacy" distribution: more portable, notably for old Node.js/Electron of VSCodium;
wenzelm [Wed, 27 Jul 2022 11:08:15 +0200] rev 75705
more robust: retain Classpath value;
wenzelm [Wed, 27 Jul 2022 11:03:33 +0200] rev 75704
tuned;
wenzelm [Wed, 27 Jul 2022 11:00:09 +0200] rev 75703
mor robust;
wenzelm [Wed, 27 Jul 2022 09:27:40 +0200] rev 75702
clarified modules;
wenzelm [Wed, 27 Jul 2022 09:03:06 +0200] rev 75701
clarified signature;
wenzelm [Tue, 26 Jul 2022 20:35:42 +0200] rev 75700
update documentation, following 21c1f82e7f5d;
wenzelm [Tue, 26 Jul 2022 19:06:03 +0200] rev 75699
proper classpath for Scala compiler invocation (amending 14e22b525b13);
wenzelm [Tue, 26 Jul 2022 16:39:11 +0200] rev 75698
merged
wenzelm [Tue, 26 Jul 2022 16:38:49 +0200] rev 75697
support for dynamic classpath from exports;
wenzelm [Mon, 25 Jul 2022 14:40:45 +0200] rev 75696
clarified signature;
wenzelm [Mon, 25 Jul 2022 11:19:08 +0200] rev 75695
tuned signature;