Diffusion afp-devel 723ed8c9c308

set devel version again
723ed8c9c308
Actions

Description

set devel version again

Details

Provenance

kleing

Authored on

Parents

rAFP1e4f140c6a1c: Added tag Isabelle2021-1 for changeset 11f8b03a88ad
rAFP6b9424379e7b: merge from afp-2021-1

Branches

Unknown

Tags

Unknown

Event Timeline

kleing committed rAFP723ed8c9c308: set devel version again.Dec 13 2021, 11:10 PM

Merged Changes

This commit merges a very large number of changes. Only the first 50 are shown.

6b9424379e7b merge from afp-2021-1
Author
kleing
Browse Repository
No Builds
No Audits
080b665e6ae3 added theory navbar;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
2bcb6698a17e tuned formatting;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
f0b34515c8d4 The version without integer indexes
Author
paulson <lp15@cam.ac.uk>
Browse Repository
No Builds
No Audits
fbeba03cac70 merge from afp-2021-1
Author
kleing
Browse Repository
No Builds
No Audits
c82e622e1e90 merge from afp-2021-1
Author
kleing
Browse Repository
No Builds
No Audits
116d4ce91550 Modified all design locale parameters to be nats instead of ints. Fixed proofs…
Author
cledmonds
Browse Repository
No Builds
No Audits
e8154678b2e1 merge from afp-2021-1
Author
kleing
Browse Repository
No Builds
No Audits
b335908ca5ac merged
Author
desharna
Browse Repository
No Builds
No Audits
1cdb95bf9f7c generalized standard formula redundancy out of standard redundancy
Author
desharna
Browse Repository
No Builds
No Audits
c2061c79823c merged
Author
makarius
Browse Repository
No Builds
No Audits
5284bc2e2dfb discontinued Parse.text;
Author
makarius
Browse Repository
No Builds
No Audits
2fdd87fc6dd7 discontinued old-style {* verbatim *} tokens;
Author
makarius
Browse Repository
No Builds
No Audits
90f5fb60422f weakened locale assumptions: wfP implies asymp
Author
desharna
Browse Repository
No Builds
No Audits
7c1a5a8e9959 Add papers to metadata.
Author
Asta Halkjær From <andro.from@gmail.com>
Browse Repository
No Builds
No Audits
4c46cf956c77 refactored Standard_Redundancy_Criterion to not use ordering type classes
Author
desharna
Browse Repository
No Builds
No Audits
1ffda7071d4a isabelle update_cartouches;
Author
makarius
Browse Repository
No Builds
No Audits
d4ed7c4aca73 removed obsolete "extend" operation;
Author
makarius
Browse Repository
No Builds
No Audits
98ecfb2297ef more symbolic latex_output via XML (using YXML within text);
Author
makarius
Browse Repository
No Builds
No Audits
df2034347bc9 prefer symbolic Latex.environment (typeset in Isabelle/Scala);
Author
makarius
Browse Repository
No Builds
No Audits
0bc1235e5fb6 tuned signature;
Author
makarius
Browse Repository
No Builds
No Audits
5a8b07a912c1 feat(Auto2_HOL) fix setup such that auto2 can be used by other object logics…
Author
kappelmann
Browse Repository
No Builds
No Audits
a2b90cb55ad1 Tuned: use a star in witness.
Author
Asta Halkjær From <andro.from@gmail.com>
Browse Repository
No Builds
No Audits
8dfc109e1ef5 merge from afp-2021-1
Author
kleing
Browse Repository
No Builds
No Audits
3232fddb53c7 In the definition of regular pair, switched from strict to non-strict
Author
paulson <lp15@cam.ac.uk>
Browse Repository
No Builds
No Audits
068616f9fbde Rename H to S in maximal_exactly_one.
Author
Asta Halkjær From <andro.from@gmail.com>
Browse Repository
No Builds
No Audits
1266c86cf47b added loader;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
b30cbcc1846c tuned;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
d6ff995cf5a9 tuned: more canonical Isabelle code style;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
b32649b547e9 proper loading of foundational hrefs;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
53e6f3897fff fix dependencies;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
ad7234dfa6b4 Get rid of the sat abbreviation.
Author
Asta Halkjær From <andro.from@gmail.com>
Browse Repository
No Builds
No Audits
2f55c21c3d3d Add missing spaces in semantics_tm.
Author
Asta Halkjær From <andro.from@gmail.com>
Browse Repository
No Builds
No Audits
9c5a5af856b8 No space in front of object-logic forall.
Author
Asta Halkjær From <andro.from@gmail.com>
Browse Repository
No Builds
No Audits
5dcf43ecbb6d Non-conflicting name for boolean denotation.
Author
Asta Halkjær From <andro.from@gmail.com>
Browse Repository
No Builds
No Audits
bd0387cbded7 Simpler Hintikka definition.
Author
Asta Halkjær From <andro.from@gmail.com>
Browse Repository
No Builds
No Audits
7ed432999588 Add syntactic abbreviation for constants.
Author
Asta Halkjær From <andro.from@gmail.com>
Browse Repository
No Builds
No Audits
ab1cf8fca876 added devel flag;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
cc835fde7a38 updated about page;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
c6cf7b096b98 fixed lemma following Isabelle/c256bba593f3
Author
desharna
Browse Repository
No Builds
No Audits
f8f7720a7451 fix dangerous context management
Author
Simon Wimmer <wimmers@in.tum.de>
Browse Repository
No Builds
No Audits
5f2eb2ceef51 moved extraction of related entries to hugo;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
a53823fdccd8 improved keyword extraction;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
cea71b734a23 added keywords to site generated entry data;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
b69b09d8f99a use tmp file for python script instead of command;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
e450d45c4680 added js-side theory loading to afp site;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
5857c4582eae integrated metadata changes into site;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
09790a81f454 added missing keyword data;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
5369b980e2fe removed html dir from sitegen (now set inside hugo);
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
c5355362ec54 tuned sitegen: moved dependencies generation to scala
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits

Changes (5)

Path

Size

etc/

metadata/

templates/

rAFP723ed8c9c308

View Options

.hgtags

View Options

etc/version

View Options

metadata/release-dates

View Options

metadata/releases

View Options

metadata/templates/using.tpl

set devel version again723ed8c9c308Actions

Description

Details

Event Timeline

Merged Changes

Changes (5)

rAFP723ed8c9c308

.hgtags

etc/version

metadata/release-dates

metadata/releases

metadata/templates/using.tpl

set devel version again
723ed8c9c308
Actions