Page MenuHomeIsabelle/Phabricator

kleing (Gerwin Klein)
User

Projects

User Details

User Since
Feb 15 2020, 8:18 AM (137 w, 2 d)

Recent Activity

Sat, Oct 1

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

Fri, Sep 23

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

Thu, Sep 8

kleing committed rAFP457e3b13987e: new email address for Maksym.
new email address for Maksym
Thu, Sep 8, 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
kleing committed rAFP2505f556a339: merge from afp-2021.
merge from afp-2021
Oct 31 2021, 3:30 AM

Oct 14 2021

kleing committed rAFP323c29c97a1e: close merged branch.
close merged branch
Oct 14 2021, 1:25 AM

Oct 5 2021

kleing committed rAFPc4c97fa55b33: Complex_Bounded_Operators: update to isabelle@ffb15f7f26d5.
Complex_Bounded_Operators: update to isabelle@ffb15f7f26d5
Oct 5 2021, 5:42 AM
kleing committed rAFPbc7f138a2252: merge from afp-2021.
merge from afp-2021
Oct 5 2021, 5:42 AM
kleing committed rAFP91a58b10dae0: Weighted_Path_Order: update to isabelle@ffb15f7f26d5.
Weighted_Path_Order: update to isabelle@ffb15f7f26d5
Oct 5 2021, 5:42 AM
kleing committed rAFP7bf14cdbe572: new entry FOL_Axiomatic.
new entry FOL_Axiomatic
Oct 5 2021, 5:42 AM
kleing committed rAFPbdd9c91c0a28: add missing session dependency.
add missing session dependency
Oct 5 2021, 5:42 AM
kleing committed rAFPf8bd219cedb2: minor editorial changes for CZH entries.
minor editorial changes for CZH entries
Oct 5 2021, 5:42 AM
kleing committed rAFP58de046a39b6: regen website.
regen website
Oct 5 2021, 5:42 AM

Sep 30 2021

kleing committed rAFPaf435c34b495: new entries by Mihails Milehins.
new entries by Mihails Milehins
Sep 30 2021, 2:33 PM

Jul 27 2021

kleing committed rAFPd4dfaca0753b: Clean: set AFP standard document options.
Clean: set AFP standard document options
Jul 27 2021, 8:35 AM
kleing committed rAFPf775ffffa43c: Clean: re-add to chapter AFP.
Clean: re-add to chapter AFP
Jul 27 2021, 8:35 AM
kleing committed rAFP3ccdf21c5bb4: merge from afp-2021.
merge from afp-2021
Jul 27 2021, 8:35 AM

Jun 15 2021

kleing committed rAFP2e179108e08f: merge Jinja/Isar work.
merge Jinja/Isar work
Jun 15 2021, 2:56 AM

Jun 6 2021

kleing committed rAFP7858c60cc57a: merge from afp-2021.
merge from afp-2021
Jun 6 2021, 3:17 AM
kleing committed rAFP98a8bdb85f79: merge from afp-2021.
merge from afp-2021
Jun 6 2021, 3:17 AM
kleing committed rAFP4f1d55756b1a: suppress site-gen warning.
suppress site-gen warning
Jun 6 2021, 3:17 AM
kleing committed rAFP5fb712317ba8: exclude etc/ in afp_check_roots.
exclude etc/ in afp_check_roots
Jun 6 2021, 3:17 AM
kleing committed rAFPed3bf7f7bedc: update usage instrucions.
update usage instrucions
Jun 6 2021, 3:17 AM
kleing committed rAFP52357a42c5e4: strip trailing whitespace; make full URL.
strip trailing whitespace; make full URL
Jun 6 2021, 3:17 AM

May 28 2021

kleing committed rAFPaae69e3e9178: merge from afp-2021.
merge from afp-2021
May 28 2021, 11:29 AM