User Details
User Details
- User Since
- Feb 15 2020, 8:18 AM (214 w, 5 d)
Feb 18 2024
Feb 18 2024
Simpl: remove stray thm command
CRYSTALS-Kyber_Security: adapt to isabelle@cff4576218fa
Interval_Analysis: adapt to isabelle@cff4576218fa
update Simpl entry; change license to BSD
Oct 16 2023
Oct 16 2023
update S_Finite_Measure_Monad to Isabelle2023
web pages for Standard_Borel_Spaces and S_Finite_Measure_Monad
theory files for S_Finite_Measure_Monad + Standard_Borel_Spaces
update Standard_Borel_Spaces to Isabelle2023
new entry IO_Language_Conformance
new entry Coupledsim_Contrasim
Sep 14 2023
Sep 14 2023
Sep 13 2023
Sep 13 2023
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