User Details
User Details
- User Since
- Feb 15 2020, 8:18 AM (171 w, 5 d)
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
kleing committed rAFPe57f56bb8585: ignore generated files.
ignore generated files
kleing committed rAFP3a2f7458fbf0: add 2021-1 release dates.
add 2021-1 release dates
Dec 13 2021
Dec 13 2021
kleing committed rAFP723ed8c9c308: set devel version again.
set devel version again
Added tag Isabelle2021-1 for changeset 11f8b03a88ad
new entry Foundation_of_geometry
adjust for Isabelle2021-1-RC5
new entry Simplicial_complexes_and_boolean_functions
Dec 12 2021
Dec 12 2021
adjust to Isabelle2021-1-RC5
Dec 2 2021
Dec 2 2021
adjust for new tags in Isabelle2021-1-RC4
Nov 16 2021
Nov 16 2021
Word_Lib sync from l4v; tweak word_eqI
generalise word_eqI method; make sure it is exercised
test_bit_size not longer needed; avoid potential nontermination
Word_Lib tweaks for slightly more backwards compatibility
use bit_simps in word_eqI method
Nov 14 2021
Nov 14 2021
new entry Factor_Algebraic_Polynomial
Oct 31 2021
Oct 31 2021
kleing committed rAFPc386b94384f0: remove unused functions.
remove unused functions
kleing committed rAFP61c34194cb57: new entry X86_Semantics.
new entry X86_Semantics
kleing committed rAFP56cfc29507ba: silence sitegen warning.
silence sitegen warning
adjust to isabelle@549019b4a808