User Details
User Details
- User Since
- Feb 15 2020, 8:18 AM (187 w, 6 d)
Thu, Sep 14
Thu, Sep 14
Wed, Sep 13
Wed, Sep 13
kleing committed rAFPa09703ee2292: web: 2023 downlaod links.
web: 2023 downlaod links
Added tag Isabelle2023 for changeset 01bf5fad3e59
kleing committed rAFP01bf5fad3e59: add 2023 release dates.
add 2023 release dates
fix toml key generated by afp_releases
set Isabelle2023 release date
update Isabelle2022 release dates
afp release path has changed on isa-afp.org
Aug 20 2023
Aug 20 2023
use default AFP chapter settings
switch version back to devel after fork
kleing committed rAFP1d4491b66b50: update version to 2023.
update version to 2023
update author email (by request)
fix duplicated key in IEEE_Floating_Point.toml
Aug 16 2023
Aug 16 2023
address metadata warnings
remove unused metadata (leaves website unchanged)
remove obsolete (AFP) group from new entries
Word_Lib: import new material from l4v
update to isabelle@fd8e1bbc0686
Aug 15 2023
Aug 15 2023
kleing committed rAFP56a136acb506: rectify copy/paste error.
rectify copy/paste error
construction for anchord GTT intersection
Jul 26 2023
Jul 26 2023
output panel: don't discard already filtered messages
Jul 13 2023
Jul 13 2023
new entry DCR-ExecutionEquivalence
Jun 15 2023
Jun 15 2023
optional description in Eisbach "method" command;
Jan 24 2023
Jan 24 2023
new entry HoareForDivergence
new entry Multitape_To_Singletape_TM
Nov 8 2022
Nov 8 2022
add missing thy files in Sturm_Tarski + repair
Oct 28 2022
Oct 28 2022
Isabelle2022: new release download links
Added tag Isabelle2022 for changeset 548e384c0445
import 2022 release dates
entry names not restricted to alpha-numeric
add option for parallel session builds
set Isabelle2022 release date
set release version to 2022
Oct 8 2022
Oct 8 2022
updates to BenOr_Kozen_Reif by Katherine Kosaian
Oct 5 2022
Oct 5 2022
fix author entry; regen website
add change history revision
new entry Query_Optimization
Complex_Bounded_Operators: Various changes:
Oct 1 2022
Oct 1 2022
new entry Undirected_Graph_Theory
Sep 23 2022
Sep 23 2022
adapt to Isabelle@769a7cd5a16a
adjust Lar's contact info as requested
new entry Implicational_Logic
Sep 8 2022
Sep 8 2022
new email address for Maksym
Aug 23 2022
Aug 23 2022
Jun 30 2022
Jun 30 2022
kleing committed rAFP39fb2d138f81: do not ignore admin/site.
do not ignore admin/site
Jun 24 2022
Jun 24 2022
re-introduce accidentally reverted changes
Jun 22 2022
Jun 22 2022
merge from afp-2021-1 (metadata consolidation)
kleing committed rAFPfa8c3c0fb8c7: ignore dev site output.
ignore dev site output
consolidate metadata (email and homepages)
Jun 21 2022
Jun 21 2022
merge from afp-2021-1 (new website)
merge website-redesign graft
update metadata to new sitegen
admin: remove old sitegen lib files
Jun 20 2022
Jun 20 2022
adjust for isabelle@5bba3516ddb5
May 10 2022
May 10 2022
adjust for isabelle@7095df141819
regen website (some orders are different in python3)
switch sitegen to python3
Feb 23 2022
Feb 23 2022
restore state of VYDRA_MDL to b8c3f69745a4
kleing added a reverting change for rAFPc9f94b0ae10e: New entry: VYDRA_MDL: rAFPeec42543ab91: Backed out changeset c9f94b0ae10e.
Backed out changeset c9f94b0ae10e
Backed out changeset b8c3f69745a4
kleing added a reverting change for rAFPb8c3f69745a4: metadata update for VYDRA_MDL: rAFP26c4c8765120: Backed out changeset b8c3f69745a4.
Feb 12 2022
Feb 12 2022
avoid conflict with index.html in generated html
Jan 10 2022
Jan 10 2022
Dec 14 2021
Dec 14 2021
updated 2021-1 release dates -> web