Page MenuHomeIsabelle/Phabricator

kleing (Gerwin Klein)
User

Projects

User Details

User Since
Feb 15 2020, 8:18 AM (171 w, 5 d)

Recent Activity

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

Feb 23 2022

kleing committed rAFPd55bf6fefb30: merge from afp-2021-1.
merge from afp-2021-1
Feb 23 2022, 11:03 PM
kleing committed rAFP42f0db2df385: restore state of VYDRA_MDL to b8c3f69745a4.
restore state of VYDRA_MDL to b8c3f69745a4
Feb 23 2022, 11:03 PM
kleing added a reverting change for rAFPc9f94b0ae10e: New entry: VYDRA_MDL: rAFPeec42543ab91: Backed out changeset c9f94b0ae10e.
Feb 23 2022, 11:03 PM
kleing committed rAFPeec42543ab91: Backed out changeset c9f94b0ae10e.
Backed out changeset c9f94b0ae10e
Feb 23 2022, 11:03 PM
kleing committed rAFP26c4c8765120: Backed out changeset b8c3f69745a4.
Backed out changeset b8c3f69745a4
Feb 23 2022, 11:03 PM
kleing added a reverting change for rAFPb8c3f69745a4: metadata update for VYDRA_MDL: rAFP26c4c8765120: Backed out changeset b8c3f69745a4.
Feb 23 2022, 11:03 PM

Feb 12 2022

kleing committed rAFP3e0d4252153b: merge from afp-2021-1.
merge from afp-2021-1
Feb 12 2022, 11:22 PM
kleing committed rAFPbece356544f4: avoid conflict with index.html in generated html.
avoid conflict with index.html in generated html
Feb 12 2022, 11:22 PM

Jan 10 2022

kleing committed rAFPbcab7766727b: merge from afp-2021-1.
merge from afp-2021-1
Jan 10 2022, 1:43 AM

Dec 14 2021

kleing committed rAFP28e95145c4ac: merge from afp-2021-1.
merge from afp-2021-1
Dec 14 2021, 11:02 AM
kleing committed rAFPf6eab61b0d6a: add change history.
add change history
Dec 14 2021, 11:02 AM
kleing committed rAFP04c36da69e24: updated 2021-1 release dates -> web.
updated 2021-1 release dates -> web
Dec 14 2021, 11:02 AM
kleing committed rAFP9df0012013a7: merge from afp-2021-1.
merge from afp-2021-1
Dec 14 2021, 9:09 AM
kleing committed rAFPe57f56bb8585: ignore generated files.
ignore generated files
Dec 14 2021, 9:09 AM
kleing committed rAFP3a2f7458fbf0: add 2021-1 release dates.
add 2021-1 release dates
Dec 14 2021, 9:09 AM

Dec 13 2021

kleing committed rAFP723ed8c9c308: set devel version again.
set devel version again
Dec 13 2021, 11:10 PM
kleing committed rAFP11f8b03a88ad: adjust usage version.
adjust usage version
Dec 13 2021, 11:10 PM
kleing committed rAFP1e4f140c6a1c: Added tag Isabelle2021-1 for changeset 11f8b03a88ad.
Added tag Isabelle2021-1 for changeset 11f8b03a88ad
Dec 13 2021, 11:10 PM
kleing committed rAFP1d08da6083dd: update release dates.
update release dates
Dec 13 2021, 11:10 PM
kleing committed rAFP6b9b455d46d7: set release version.
set release version
Dec 13 2021, 11:10 PM
kleing committed rAFP6b9424379e7b: merge from afp-2021-1.
merge from afp-2021-1
Dec 13 2021, 10:45 PM
kleing committed rAFPfbeba03cac70: merge from afp-2021-1.
merge from afp-2021-1
Dec 13 2021, 4:41 AM
kleing committed rAFP4e7664c3e01d: merge from afp-2021.
merge from afp-2021
Dec 13 2021, 4:41 AM
kleing committed rAFP471638a4827d: new entry Foundation_of_geometry.
new entry Foundation_of_geometry
Dec 13 2021, 4:41 AM
kleing committed rAFPc82e622e1e90: merge from afp-2021-1.
merge from afp-2021-1
Dec 13 2021, 4:29 AM
kleing committed rAFP356167c73739: adjust for Isabelle2021-1-RC5.
adjust for Isabelle2021-1-RC5
Dec 13 2021, 4:29 AM
kleing committed rAFP144417084760: merge from afp-2021.
merge from afp-2021
Dec 13 2021, 4:29 AM
kleing committed rAFPc7ef8405c949: new entry Simplicial_complexes_and_boolean_functions.
new entry Simplicial_complexes_and_boolean_functions
Dec 13 2021, 4:29 AM

Dec 12 2021

kleing committed rAFPe8154678b2e1: merge from afp-2021-1.
merge from afp-2021-1
Dec 12 2021, 6:56 AM
kleing committed rAFPdbff829158a8: merge from afp-2021.
merge from afp-2021
Dec 12 2021, 6:56 AM
kleing committed rAFPf57bbcb7a2a5: adjust to Isabelle2021-1-RC5.
adjust to Isabelle2021-1-RC5
Dec 12 2021, 6:56 AM

Dec 2 2021

kleing committed rAFP8dfc109e1ef5: merge from afp-2021-1.
merge from afp-2021-1
Dec 2 2021, 8:14 AM
kleing committed rAFP001657f3e9b5: adjust for new tags in Isabelle2021-1-RC4.
adjust for new tags in Isabelle2021-1-RC4
Dec 2 2021, 8:14 AM

Nov 16 2021

kleing committed rAFP7a2522dce834: Word_Lib sync from l4v; tweak word_eqI.
Word_Lib sync from l4v; tweak word_eqI
Nov 16 2021, 7:12 AM
kleing committed rAFP4735e2db8e29: generalise word_eqI method; make sure it is exercised.
generalise word_eqI method; make sure it is exercised
Nov 16 2021, 5:44 AM
kleing committed rAFP145a2429825e: test_bit_size not longer needed; avoid potential nontermination.
test_bit_size not longer needed; avoid potential nontermination
Nov 16 2021, 1:51 AM
kleing committed rAFP4723cbfda63e: Word_Lib tweaks for slightly more backwards compatibility.
Word_Lib tweaks for slightly more backwards compatibility
Nov 16 2021, 12:52 AM
kleing committed rAFP5d1795962da2: use bit_simps in word_eqI method.
use bit_simps in word_eqI method
Nov 16 2021, 12:52 AM

Nov 14 2021

kleing committed rAFP77ff7b87b75f: sync from l4v.
sync from l4v
Nov 14 2021, 11:06 AM
kleing committed rAFPa49f43a5e0f3: new entry PAL.
new entry PAL
Nov 14 2021, 9:59 AM
kleing committed rAFP0d7595fe5aed: new entry Factor_Algebraic_Polynomial.
new entry Factor_Algebraic_Polynomial
Nov 14 2021, 9:59 AM
kleing committed rAFP7c831b848ada: merge from afp-2021.
merge from afp-2021
Nov 14 2021, 4:10 AM
kleing committed rAFP6d3ed174962a: document `publish -`.
document `publish -`
Nov 14 2021, 4:10 AM

Oct 31 2021

kleing committed rAFP5a9bee294099: merge from afp-2021.
merge from afp-2021
Oct 31 2021, 5:50 AM
kleing committed rAFPc386b94384f0: remove unused functions.
remove unused functions
Oct 31 2021, 5:50 AM
kleing committed rAFP61c34194cb57: new entry X86_Semantics.
new entry X86_Semantics
Oct 31 2021, 5:50 AM
kleing committed rAFP56cfc29507ba: silence sitegen warning.
silence sitegen warning
Oct 31 2021, 5:50 AM
kleing committed rAFPf4d73fee73b5: adjust to isabelle@549019b4a808.
adjust to isabelle@549019b4a808
Oct 31 2021, 3:30 AM