testboard: Graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -30000 -10000 -3000 -1000 -120 tip

added lemma irreflp_on_multpHO[simp] draft default tip
3 days ago, by desharna
added lemmas totalp_on_multpDM, totalp_multpDM, totalp_on_multpHO, and totalp_multpHO draft
3 days ago, by desharna
Thingol bugfix: multi-argument function return types were incorrect draft
6 days ago, by stuebinm
attempt to patch Imperative_HOL for changed Code_Thingol draft
13 days ago, by stuebinm
code_thingol: actually use the const range in eta_expand draft
2 weeks ago, by stuebinm
code_thingol: add range to consts draft
2 weeks ago, by stuebinm
thingol: always set type annotation for consts draft
3 weeks ago, by stuebinm
Added tag lambda-types for changeset a6f4c8c9fdbc draft
3 weeks ago, by stuebinm
augment thingol functions with return types (needed for Go codegen) draft
5 weeks ago, by stuebinm
added lemmas total_on_mult, total_mult, totalp_on_multp, and totalp_multp
3 days ago, by desharna
proper name for lemma totalp_on_total_on_eq
3 days ago, by desharna
update to jdk-17.0.6;
4 days ago, by wenzelm
proper cleanup;
4 days ago, by wenzelm
avoid odd suffix in published HTML library;
4 days ago, by wenzelm
tuned signature: avoid aliases;
4 days ago, by wenzelm
tuned message;
4 days ago, by wenzelm
tuned;
4 days ago, by wenzelm
tuned signature;
4 days ago, by wenzelm
clarified modules (again, in contrast to f8f065e20837);
4 days ago, by wenzelm
support IPC via database server;
4 days ago, by wenzelm
proper signature;
4 days ago, by wenzelm
support specific connection types, for additional operations;
4 days ago, by wenzelm
more correct and complete bibliography;
6 days ago, by wenzelm
tuned signature;
6 days ago, by wenzelm
tuned;
6 days ago, by wenzelm
proper position for semantic completion: avoid duplicate quotes;
6 days ago, by wenzelm
clarified signature;
6 days ago, by wenzelm
clarified signature;
6 days ago, by wenzelm
proper positions for Isabelle/ML, instead of Isabelle/Scala;
6 days ago, by wenzelm
dismantle special treatment of citations in Isabelle/Scala;
6 days ago, by wenzelm
more direct check of bibtex entries via Isabelle/Scala;
6 days ago, by wenzelm
support Session argument for Scala.Fun;
6 days ago, by wenzelm
obsolete (see also 01c9b3033036);
6 days ago, by wenzelm
proper citations for unselected theories, notably for the default selection of the GUI panel;
6 days ago, by wenzelm
tuned signature;
6 days ago, by wenzelm
more robust theory_source -- in contrast to node_source from fffb978dd683: theory name is more reliable than Document.Node.Name, explicit unicode_symbols;
6 days ago, by wenzelm
clarified signature;
6 days ago, by wenzelm
tuned;
6 days ago, by wenzelm
tuned;
6 days ago, by wenzelm
merged
7 days ago, by wenzelm
clarified "selected" status;
7 days ago, by wenzelm
uniform keywords for embedded syntax;
7 days ago, by wenzelm
clarified signature;
7 days ago, by wenzelm
tuned signature;
7 days ago, by wenzelm
clarified signature;
7 days ago, by wenzelm
more complete index;
7 days ago, by wenzelm
tuned comments;
7 days ago, by wenzelm
parse citations from raw source, without formal context;
7 days ago, by wenzelm
tuned signature: fewer warnings in IntelliJ IDEA;
8 days ago, by wenzelm
tuned messages;
8 days ago, by wenzelm
tuned GUI;
8 days ago, by wenzelm
clarified signature;
8 days ago, by wenzelm
more efficient, thanks to persistent lazy data in Document.Node;
8 days ago, by wenzelm
proper line positions for PIDE document;
8 days ago, by wenzelm
tuned;
8 days ago, by wenzelm
HOL/Library/BigO is obsolete
7 days ago, by paulson
merged
7 days ago, by paulson
tidy up of this messy and obsolete theory
7 days ago, by paulson
clarified file positions: retain original source path;
9 days ago, by wenzelm
backed out changeset 7f7d5c93e36b: no longer required thanks to 9096703ed99e;
9 days ago, by wenzelm
clarified formal check of bibtex entries (again), see also 86a099f896fc and 467f45e79ff9;
9 days ago, by wenzelm
tuned;
10 days ago, by wenzelm
tuned GUI;
10 days ago, by wenzelm
permissive treatment of citations before the theory header: avoid too many changes in AFP;
10 days ago, by wenzelm
more detailed Program_Progress / Log_Progress: each program gets its own log output, which is attached to the document via markup;
10 days ago, by wenzelm
clarified documentation: avoid odd speculations about PIDE;
10 days ago, by wenzelm
tuned;
11 days ago, by wenzelm
clarified modules;
11 days ago, by wenzelm
merged
11 days ago, by wenzelm
more complete Bibtex database;
11 days ago, by wenzelm
proper theory context for formal citations;
11 days ago, by wenzelm
isabelle update -u cite;
11 days ago, by wenzelm
clarified treatment of cite macro name;
11 days ago, by wenzelm
explicit legacy_feature;
11 days ago, by wenzelm
more robust: rely on PIDE markup instead of regex guess;
11 days ago, by wenzelm
more index entries;
11 days ago, by wenzelm
updated documentation;
11 days ago, by wenzelm
clarified names;
11 days ago, by wenzelm
tuned;
11 days ago, by wenzelm
clarified options and defaults: avoid accidental changed of base logic due to augment_options(update_options);
11 days ago, by wenzelm
update documentation: prefer control-symbol-cartouche form of "cite" antiquotations;
12 days ago, by wenzelm
tuned;
12 days ago, by wenzelm
proper language context;
12 days ago, by wenzelm
proper normal form of adjacent XML.Text, notably for Bibtex.update_cite;
12 days ago, by wenzelm
tuned whitespace;
12 days ago, by wenzelm
more robust;
12 days ago, by wenzelm
basic support for update_cite_commands;
12 days ago, by wenzelm
more operations: use proper constants;
12 days ago, by wenzelm
proper session_options (amending da13da82f6f9);
12 days ago, by wenzelm
tuned signature;
12 days ago, by wenzelm
tuned;
12 days ago, by wenzelm
clarified types;
13 days ago, by wenzelm
more explicit language context;
13 days ago, by wenzelm
clarified signature: more explicit types;
13 days ago, by wenzelm
support embedded syntax, for use with control symbols;
13 days ago, by wenzelm
tuned;
13 days ago, by wenzelm
tuned;
13 days ago, by wenzelm
clarified default: final value is provided in Isabelle/Scala Latex.Cite.unapply;
13 days ago, by wenzelm
more "cite" antiquotations;
13 days ago, by wenzelm
clarified signature: more generic operations;
13 days ago, by wenzelm
clarified check: this could be \nocite;
13 days ago, by wenzelm
avoid confusion of markup element vs. property names;
2 weeks ago, by wenzelm
clarified Latex markup: optional cite "location" consists of nested document text;
2 weeks ago, by wenzelm
more explicit latex markup;
2 weeks ago, by wenzelm
follow recent changes of Sledgehammer defaults, as 0a46b3dbd5ad exposes a hint in the source text;
2 weeks ago, by wenzelm
One messy, messy proof
11 days ago, by paulson
Missing theorem restored
12 days ago, by paulson
Tidying up BNF
12 days ago, by paulson
Thingol bugfix: multi-argument function return types were incorrect
6 days ago, by stuebinm
More cleaning up proofs, plus a TeX fix
13 days ago, by paulson
Fixed a broken proof
13 days ago, by paulson
Substantial simplification of HOL-Cardinals
13 days ago, by paulson
merged
13 days ago, by paulson
attempt to patch Imperative_HOL for changed Code_Thingol
13 days ago, by stuebinm
code_thingol: actually use the const range in eta_expand
2 weeks ago, by stuebinm
code_thingol: add range to consts
2 weeks ago, by stuebinm
thingol: always set type annotation for consts
3 weeks ago, by stuebinm
Added tag lambda-types for changeset 81283484910e
3 weeks ago, by stuebinm
augment thingol functions with return types (needed for Go codegen) lambda-types
5 weeks ago, by stuebinm
hacking thingol
5 weeks ago, by stuebinm