wenzelm [Sun, 15 Jan 2023 12:11:25 +0100] rev 76982
updated documentation;
wenzelm [Sun, 15 Jan 2023 12:07:08 +0100] rev 76981
clarified names;
wenzelm [Sun, 15 Jan 2023 12:04:08 +0100] rev 76980
tuned;
wenzelm [Sun, 15 Jan 2023 11:59:45 +0100] rev 76979
clarified options and defaults: avoid accidental changed of base logic due to augment_options(update_options);
wenzelm [Sat, 14 Jan 2023 23:50:13 +0100] rev 76978
update documentation: prefer control-symbol-cartouche form of "cite" antiquotations;
wenzelm [Sat, 14 Jan 2023 22:37:15 +0100] rev 76977
tuned;
wenzelm [Sat, 14 Jan 2023 22:24:01 +0100] rev 76976
proper language context;
wenzelm [Sat, 14 Jan 2023 22:23:40 +0100] rev 76975
proper normal form of adjacent XML.Text, notably for Bibtex.update_cite;
wenzelm [Sat, 14 Jan 2023 21:01:26 +0100] rev 76974
tuned whitespace;
wenzelm [Sat, 14 Jan 2023 20:42:48 +0100] rev 76973
more robust;
wenzelm [Sat, 14 Jan 2023 20:15:09 +0100] rev 76972
basic support for update_cite_commands;
wenzelm [Sat, 14 Jan 2023 19:47:02 +0100] rev 76971
more operations: use proper constants;
wenzelm [Sat, 14 Jan 2023 19:36:02 +0100] rev 76970
proper session_options (amending da13da82f6f9);
wenzelm [Sat, 14 Jan 2023 19:29:14 +0100] rev 76969
tuned signature;
wenzelm [Sat, 14 Jan 2023 17:52:12 +0100] rev 76968
tuned;
wenzelm [Fri, 13 Jan 2023 19:16:24 +0100] rev 76967
clarified types;
wenzelm [Fri, 13 Jan 2023 19:07:18 +0100] rev 76966
more explicit language context;
wenzelm [Fri, 13 Jan 2023 17:14:59 +0100] rev 76965
clarified signature: more explicit types;
wenzelm [Fri, 13 Jan 2023 15:57:11 +0100] rev 76964
support embedded syntax, for use with control symbols;
wenzelm [Fri, 13 Jan 2023 14:38:19 +0100] rev 76963
tuned;
wenzelm [Fri, 13 Jan 2023 13:57:39 +0100] rev 76962
tuned;
wenzelm [Fri, 13 Jan 2023 13:10:44 +0100] rev 76961
clarified default: final value is provided in Isabelle/Scala Latex.Cite.unapply;
wenzelm [Fri, 13 Jan 2023 13:01:19 +0100] rev 76960
more "cite" antiquotations;
wenzelm [Fri, 13 Jan 2023 12:37:09 +0100] rev 76959
clarified signature: more generic operations;
wenzelm [Fri, 13 Jan 2023 12:16:04 +0100] rev 76958
clarified check: this could be \nocite;
wenzelm [Thu, 12 Jan 2023 20:09:08 +0100] rev 76957
avoid confusion of markup element vs. property names;
wenzelm [Thu, 12 Jan 2023 19:48:47 +0100] rev 76956
clarified Latex markup: optional cite "location" consists of nested document text;
wenzelm [Thu, 12 Jan 2023 16:01:49 +0100] rev 76955
more explicit latex markup;
wenzelm [Wed, 11 Jan 2023 15:00:06 +0100] rev 76954
follow recent changes of Sledgehammer defaults, as 0a46b3dbd5ad exposes a hint in the source text;
paulson <lp15@cam.ac.uk> [Sun, 15 Jan 2023 15:58:05 +0000] rev 76953
One messy, messy proof
paulson <lp15@cam.ac.uk> [Sat, 14 Jan 2023 21:42:08 +0000] rev 76952
Missing theorem restored
paulson <lp15@cam.ac.uk> [Sat, 14 Jan 2023 16:53:54 +0000] rev 76951
Tidying up BNF
paulson <lp15@cam.ac.uk> [Fri, 13 Jan 2023 22:47:40 +0000] rev 76950
More cleaning up proofs, plus a TeX fix
paulson <lp15@cam.ac.uk> [Fri, 13 Jan 2023 16:44:00 +0000] rev 76949
Fixed a broken proof
paulson <lp15@cam.ac.uk> [Fri, 13 Jan 2023 16:19:56 +0000] rev 76948
Substantial simplification of HOL-Cardinals
paulson [Fri, 13 Jan 2023 11:05:48 +0000] rev 76947
merged
paulson <lp15@cam.ac.uk> [Thu, 12 Jan 2023 17:12:36 +0000] rev 76946
Trying to clean up HOL/Cardinals
desharna [Thu, 12 Jan 2023 15:46:44 +0100] rev 76945
added session to mirabelle output directory structure
paulson <lp15@cam.ac.uk> [Wed, 11 Jan 2023 17:02:52 +0000] rev 76944
More tidying of topology proofs
paulson <lp15@cam.ac.uk> [Wed, 11 Jan 2023 13:41:53 +0000] rev 76943
Partial round of clearing up applys, etc
paulson [Tue, 10 Jan 2023 11:06:20 +0000] rev 76942
merged
paulson [Mon, 09 Jan 2023 17:16:22 +0000] rev 76941
merged
paulson <lp15@cam.ac.uk> [Mon, 09 Jan 2023 17:16:04 +0000] rev 76940
Substantial de-applying and streamlining
desharna [Mon, 09 Jan 2023 19:52:32 +0100] rev 76939
tuned sledgehammer default provers to only include local ones
wenzelm [Fri, 06 Jan 2023 17:59:56 +0100] rev 76938
enforce rebuild of Isabelle/ML to update build databases;
wenzelm [Fri, 06 Jan 2023 17:58:49 +0100] rev 76937
prefer relative src_path (if possible) -- in contrast to 9ce0aa145d21:
wenzelm [Fri, 06 Jan 2023 17:20:53 +0100] rev 76936
proper treatment of unicode_symbols;
wenzelm [Fri, 06 Jan 2023 16:54:16 +0100] rev 76935
tuned signature: avoid alias that is unclear wrt. lazy state and Symbol.encode/decode status;
wenzelm [Fri, 06 Jan 2023 16:50:43 +0100] rev 76934
removed unused operation: unclear wrt. Symbol.encode/decode status;
wenzelm [Fri, 06 Jan 2023 16:43:51 +0100] rev 76933
tuned signature: more uniform operations;
wenzelm [Fri, 06 Jan 2023 15:35:48 +0100] rev 76932
tuned comments;
wenzelm [Fri, 06 Jan 2023 14:59:59 +0100] rev 76931
unused;
wenzelm [Fri, 06 Jan 2023 14:58:13 +0100] rev 76930
more uniform operations;
plain file_name instead of blob.src_path.implode_short;
wenzelm [Fri, 06 Jan 2023 14:37:55 +0100] rev 76929
restrict to proper_session_theories;
wenzelm [Fri, 06 Jan 2023 13:09:08 +0100] rev 76928
proper build parameters (amending d858e6f15da3);
wenzelm [Fri, 06 Jan 2023 13:06:03 +0100] rev 76927
treat update_options as part of Sessions.Info meta_digest, for proper re-build of updated sessions;