Page MenuHomeIsabelle/Phabricator

kleing (Gerwin Klein)
User

Projects

User Details

User Since
Feb 15 2020, 8:18 AM (218 w, 3 d)

Recent Activity

Feb 18 2024

kleing committed rAFPf5d6d7c7f38e: Simpl: remove stray thm command.
Simpl: remove stray thm command
Feb 18 2024, 9:56 AM
kleing committed rAFPc5ea13f67ee4: CRYSTALS-Kyber_Security: adapt to isabelle@cff4576218fa.
CRYSTALS-Kyber_Security: adapt to isabelle@cff4576218fa
Feb 18 2024, 5:55 AM
kleing committed rAFP3573cc4311ae: merge from afp-2023.
merge from afp-2023
Feb 18 2024, 4:38 AM
kleing committed rAFP1cb02f1980cb: Interval_Analysis: adapt to isabelle@cff4576218fa.
Interval_Analysis: adapt to isabelle@cff4576218fa
Feb 18 2024, 4:38 AM
kleing committed rAFP6444261143dc: update Simpl entry; change license to BSD.
update Simpl entry; change license to BSD
Feb 18 2024, 4:38 AM

Oct 16 2023

kleing committed rAFP498afcbd8371: merge from afp-2023.
merge from afp-2023
Oct 16 2023, 1:51 AM
kleing committed rAFP2cd51acba0cf: update S_Finite_Measure_Monad to Isabelle2023.
update S_Finite_Measure_Monad to Isabelle2023
Oct 16 2023, 1:51 AM
kleing committed rAFP760df33acd03: web pages for Standard_Borel_Spaces and S_Finite_Measure_Monad.
web pages for Standard_Borel_Spaces and S_Finite_Measure_Monad
Oct 16 2023, 1:51 AM
kleing committed rAFP617250b3ba2a: theory files for S_Finite_Measure_Monad + Standard_Borel_Spaces.
theory files for S_Finite_Measure_Monad + Standard_Borel_Spaces
Oct 16 2023, 1:51 AM
kleing committed rAFPc8af5d9d7868: update Standard_Borel_Spaces to Isabelle2023.
update Standard_Borel_Spaces to Isabelle2023
Oct 16 2023, 1:51 AM
kleing committed rAFPf5eb260e64c9: new entry IO_Language_Conformance.
new entry IO_Language_Conformance
Oct 16 2023, 1:51 AM
kleing committed rAFPafac058b12ea: new entry Coupledsim_Contrasim.
new entry Coupledsim_Contrasim
Oct 16 2023, 1:51 AM

Sep 14 2023

kleing committed rAFP6f60de9ffc2a: regen website.
regen website
Sep 14 2023, 9:58 AM
kleing committed rAFPd57b427b0d34: merge from afp-2023.
merge from afp-2023
Sep 14 2023, 9:58 AM
kleing committed rAFPe41c51a955d0: sync web abstract.
sync web abstract
Sep 14 2023, 9:58 AM

Sep 13 2023

kleing committed rAFPa09703ee2292: web: 2023 downlaod links.
web: 2023 downlaod links
Sep 13 2023, 4:21 PM
kleing committed rAFP20d6a62d7fad: merge from afp-2023.
merge from afp-2023
Sep 13 2023, 4:21 PM
kleing committed rAFP95e737921cf8: website regen.
website regen
Sep 13 2023, 4:21 PM
kleing committed rAFPa662f9a14526: Added tag Isabelle2023 for changeset 01bf5fad3e59.
Added tag Isabelle2023 for changeset 01bf5fad3e59
Sep 13 2023, 4:21 PM
kleing committed rAFP01bf5fad3e59: add 2023 release dates.
add 2023 release dates
Sep 13 2023, 4:21 PM
kleing committed rAFP064331123142: fix toml key generated by afp_releases.
fix toml key generated by afp_releases
Sep 13 2023, 4:21 PM
kleing committed rAFP79a0a08a6702: set Isabelle2023 release date.
set Isabelle2023 release date
Sep 13 2023, 4:21 PM
kleing committed rAFP4ecb6c38d9cb: update Isabelle2022 release dates.
update Isabelle2022 release dates
Sep 13 2023, 4:21 PM
kleing committed rAFP48d4cbd3c2c1: afp release path has changed on isa-afp.org.
afp release path has changed on isa-afp.org
Sep 13 2023, 4:21 PM

Aug 20 2023

kleing committed rAFP1109f1da6aae: use default AFP chapter settings.
use default AFP chapter settings
Aug 20 2023, 3:41 PM
kleing committed rAFP99ccea14b2bf: switch version back to devel after fork.
switch version back to devel after fork
Aug 20 2023, 3:41 PM
kleing committed rAFP68070f45ec11: merge from afp-devel.
merge from afp-devel
Aug 20 2023, 3:41 PM
kleing committed rAFP1d4491b66b50: update version to 2023.
update version to 2023
Aug 20 2023, 3:41 PM
kleing committed rAFPde5aea9854b0: update author email (by request).
update author email (by request)
Aug 20 2023, 3:41 PM
kleing committed rAFPa8b445bdbdfb: merge from afp-2022.
merge from afp-2022
Aug 20 2023, 1:10 PM
kleing committed rAFP6754166c5325: regen website.
regen website
Aug 20 2023, 9:51 AM
kleing committed rAFP28c16722099a: fix duplicated key in IEEE_Floating_Point.toml.
fix duplicated key in IEEE_Floating_Point.toml
Aug 20 2023, 9:51 AM

Aug 16 2023

kleing committed rAFPb568861e4f6f: metadata formatting.
metadata formatting
Aug 16 2023, 7:52 PM
kleing committed rAFPce78ace10b8a: merge from afp-2022.
merge from afp-2022
Aug 16 2023, 7:30 PM
kleing committed rAFP25d3a93bcb98: address metadata warnings.
address metadata warnings
Aug 16 2023, 7:30 PM
kleing committed rAFP7c02d2a0f97b: remove unused metadata (leaves website unchanged).
remove unused metadata (leaves website unchanged)
Aug 16 2023, 7:30 PM
kleing committed rAFPf56f08b18fb5: new entry Catoids.
new entry Catoids
Aug 16 2023, 7:30 PM
kleing committed rAFP1a53a6efb4e3: remove obsolete (AFP) group from new entries.
remove obsolete (AFP) group from new entries
Aug 16 2023, 6:47 PM
kleing committed rAFP2f2cfbc55eda: Word_Lib: import new material from l4v.
Word_Lib: import new material from l4v
Aug 16 2023, 4:33 PM
kleing committed rAFPf36747144cca: merge from afp-2022.
merge from afp-2022
Aug 16 2023, 11:42 AM
kleing committed rAFP0f4372eb2943: update to isabelle@fd8e1bbc0686.
update to isabelle@fd8e1bbc0686
Aug 16 2023, 11:42 AM
kleing committed rAFP11ac793e606c: merge from afp-2022.
merge from afp-2022
Aug 16 2023, 11:42 AM
kleing committed rAFPbcdd14f238a1: regen website.
regen website
Aug 16 2023, 11:42 AM

Aug 15 2023

kleing committed rAFP56a136acb506: rectify copy/paste error.
rectify copy/paste error
Aug 15 2023, 9:37 PM
kleing committed rAFP881531ad42e4: construction for anchord GTT intersection.
construction for anchord GTT intersection
Aug 15 2023, 3:37 PM

Jul 26 2023

kleing committed rISABELLEab9cc7cda0ec: output panel: don't discard already filtered messages.
output panel: don't discard already filtered messages
Jul 26 2023, 3:11 PM

Jul 13 2023

kleing committed rAFP293b147195d7: new entry DCR-ExecutionEquivalence.
new entry DCR-ExecutionEquivalence
Jul 13 2023, 10:10 PM

Jun 15 2023

kleing committed rISABELLE2963ea647c2a: optional description in Eisbach "method" command;.
optional description in Eisbach "method" command;
Jun 15 2023, 9:20 AM

Jan 24 2023

kleing committed rAFP1678a3e62ecc: new entry HoareForDivergence.
new entry HoareForDivergence
Jan 24 2023, 12:35 PM
kleing committed rAFP64c2e9afb33f: new entry Multitape_To_Singletape_TM.
new entry Multitape_To_Singletape_TM
Jan 24 2023, 12:35 PM

Nov 8 2022

kleing committed rAFPcad22973459e: add missing thy files in Sturm_Tarski + repair.
add missing thy files in Sturm_Tarski + repair
Nov 8 2022, 11:59 PM
kleing committed rAFP2b1913cf535e: merge from afp-2022.
merge from afp-2022
Nov 8 2022, 11:59 PM

Oct 28 2022

kleing committed rAFPb60a61c8166c: Isabelle2022: new release download links.
Isabelle2022: new release download links
Oct 28 2022, 12:41 AM
kleing committed rAFPf9c693d1035a: merge from afp-2022.
merge from afp-2022
Oct 28 2022, 12:41 AM
kleing committed rAFP09fa7eeb0f08: Added tag Isabelle2022 for changeset 548e384c0445.
Added tag Isabelle2022 for changeset 548e384c0445
Oct 28 2022, 12:41 AM
kleing committed rAFP548e384c0445: import 2022 release dates.
import 2022 release dates
Oct 28 2022, 12:41 AM
kleing committed rAFP52b94470c1e5: entry names not restricted to alpha-numeric.
entry names not restricted to alpha-numeric
Oct 28 2022, 12:41 AM
kleing committed rAFP11c33ff5adf8: add option for parallel session builds.
add option for parallel session builds
Oct 28 2022, 12:41 AM
kleing committed rAFP2f28f228beee: set Isabelle2022 release date.
set Isabelle2022 release date
Oct 28 2022, 12:41 AM
kleing committed rAFP3b92532c10aa: merge from afp-2021-1.
merge from afp-2021-1
Oct 28 2022, 12:41 AM
kleing committed rAFP6b03e506d7bb: set release version to 2022.
set release version to 2022
Oct 28 2022, 12:41 AM

Oct 8 2022

kleing committed rAFP5364e7177ebe: updates to BenOr_Kozen_Reif by Katherine Kosaian.
updates to BenOr_Kozen_Reif by Katherine Kosaian
Oct 8 2022, 5:14 PM
kleing committed rAFP7d9079a56071: regen site.
regen site
Oct 8 2022, 5:14 PM

Oct 5 2022

kleing committed rAFP33daf9a750b8: fix author entry; regen website.
fix author entry; regen website
Oct 5 2022, 8:31 PM
kleing committed rAFP5e3782f5070f: add change history revision.
add change history revision
Oct 5 2022, 8:31 PM
kleing committed rAFP2b899ccfc3d6: merge from afp-2021-1.
merge from afp-2021-1
Oct 5 2022, 8:25 PM
kleing committed rAFP03277199a540: new entry Query_Optimization.
new entry Query_Optimization
Oct 5 2022, 8:25 PM
kleing committed rAFP11b9a0daf6b4: remove temp file.
remove temp file
Oct 5 2022, 9:48 AM
kleing committed rAFPb6f87c305821: Complex_Bounded_Operators: Various changes:.
Complex_Bounded_Operators: Various changes:
Oct 5 2022, 9:48 AM

Oct 1 2022

kleing committed rAFP6100f6dbbfed: merge from afp-2021-1.
merge from afp-2021-1
Oct 1 2022, 11:14 AM
kleing committed rAFP2482f4650245: new entry Undirected_Graph_Theory.
new entry Undirected_Graph_Theory
Oct 1 2022, 11:14 AM

Sep 23 2022

kleing committed rAFPbd79c9c8cfa0: merge from afp-2021-1.
merge from afp-2021-1
Sep 23 2022, 5:57 PM
kleing committed rAFP59f623140cfa: adapt to Isabelle@769a7cd5a16a.
adapt to Isabelle@769a7cd5a16a
Sep 23 2022, 5:57 PM
kleing committed rAFP07172e9ae711: adjust Lar's contact info as requested.
adjust Lar's contact info as requested
Sep 23 2022, 5:57 PM
kleing committed rAFP7df5ba0f40af: new entry Implicational_Logic.
new entry Implicational_Logic
Sep 23 2022, 5:57 PM

Sep 8 2022

kleing committed rAFP457e3b13987e: new email address for Maksym.
new email address for Maksym
Sep 8 2022, 7:10 PM

Aug 23 2022

kleing committed rAFP621bc6675749: merge from afp-2021-1.
merge from afp-2021-1
Aug 23 2022, 9:33 AM
kleing committed rAFP6486ab915f12: new entry: Nano_JSON.
new entry: Nano_JSON
Aug 23 2022, 9:32 AM

Jun 30 2022

kleing committed rAFPb8bf214bae37: merge from afp-2021-1.
merge from afp-2021-1
Jun 30 2022, 4:01 AM
kleing committed rAFP0acd6403b120: regenerate website.
regenerate website
Jun 30 2022, 4:01 AM
kleing committed rAFP39fb2d138f81: do not ignore admin/site.
do not ignore admin/site
Jun 30 2022, 4:01 AM

Jun 24 2022

kleing committed rAFP3dae4e3a4915: re-introduce accidentally reverted changes.
re-introduce accidentally reverted changes
Jun 24 2022, 6:53 PM

Jun 22 2022

kleing committed rAFP29c7b0c57365: merge from afp-2021-1 (metadata consolidation).
merge from afp-2021-1 (metadata consolidation)
Jun 22 2022, 1:06 AM
kleing committed rAFPfa8c3c0fb8c7: ignore dev site output.
ignore dev site output
Jun 22 2022, 1:06 AM
kleing committed rAFPa67d046adff8: consolidate metadata (email and homepages).
consolidate metadata (email and homepages)
Jun 22 2022, 1:06 AM

Jun 21 2022

kleing committed rAFPeff9d8ce7be8: merge closed heads.
merge closed heads
Jun 21 2022, 9:34 AM
kleing committed rAFP4b29df4907c3: close.
close
Jun 21 2022, 9:33 AM
kleing committed rAFP3845c7c84c17: merged via grafting.
merged via grafting
Jun 21 2022, 9:33 AM
kleing committed rAFP4dae236164ac: merge from afp-2021-1 (new website).
merge from afp-2021-1 (new website)
Jun 21 2022, 9:29 AM
kleing committed rAFPaf823dbb6f1a: new website.
new website
Jun 21 2022, 9:29 AM
kleing committed rAFP23f824709665: merged via afp-2021-1.
merged via afp-2021-1
Jun 21 2022, 9:27 AM
kleing committed rAFPb163b7fbd589: merge website-redesign graft.
merge website-redesign graft
Jun 21 2022, 9:27 AM
kleing committed rAFPe26f89f36335: update metadata to new sitegen.
update metadata to new sitegen
Jun 21 2022, 9:27 AM
kleing committed rAFPf56cff4a646c: admin: remove old sitegen lib files.
admin: remove old sitegen lib files
Jun 21 2022, 9:27 AM

Jun 20 2022

kleing committed rAFPcb0c00e47b26: merge from afp-2021-1.
merge from afp-2021-1
Jun 20 2022, 2:37 AM
kleing committed rAFPaa0010657cdf: adjust for isabelle@5bba3516ddb5.
adjust for isabelle@5bba3516ddb5
Jun 20 2022, 2:37 AM

May 10 2022

kleing committed rAFPfd202ff69233: merge from afp-2021-1.
merge from afp-2021-1
May 10 2022, 1:25 AM
kleing committed rAFP9a8e97891573: adjust for isabelle@7095df141819.
adjust for isabelle@7095df141819
May 10 2022, 1:25 AM
kleing committed rAFPa6affb2d1770: regen website (some orders are different in python3).
regen website (some orders are different in python3)
May 10 2022, 1:24 AM
kleing committed rAFPcac9b963c170: switch sitegen to python3.
switch sitegen to python3
May 10 2022, 1:24 AM