Page MenuHomeIsabelle/Phabricator

kleing (Gerwin Klein)
User

Projects

User Details

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

Recent Activity

Mon, Jan 10

kleing committed rAFPbcab7766727b: merge from afp-2021-1.
merge from afp-2021-1
Mon, Jan 10, 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
kleing committed rAFP33604ec4a9b0: update website.
update website
May 28 2021, 11:29 AM
kleing committed rAFP19021bb60d89: fix links.
fix links
May 28 2021, 11:29 AM

May 27 2021

kleing committed rAFP6605c2eb8bc8: merge from afp-2021.
merge from afp-2021
May 27 2021, 11:31 PM
kleing committed rAFP6d986a7dc22b: make AFP ROOTS globally available for component.
make AFP ROOTS globally available for component
May 27 2021, 11:31 PM
kleing committed rAFP55f94db4dfd0: adjust Combinatorics_Words to isabelle@493b1ae188da.
adjust Combinatorics_Words to isabelle@493b1ae188da
May 27 2021, 11:31 PM
kleing committed rAFP17e46e9fdfda: merge from afp-2021.
merge from afp-2021
May 27 2021, 11:31 PM
kleing committed rAFP0c83e74a221f: simplify usage instructions more.
simplify usage instructions more
May 27 2021, 11:31 PM
kleing committed rAFPe5d26217ccd3: update affiliation.
update affiliation
May 27 2021, 11:31 PM

May 17 2021

kleing committed rISABELLEac07f6be27ea: avoid unexpected output+behaviour when CDPATH is set.
avoid unexpected output+behaviour when CDPATH is set
May 17 2021, 5:58 AM

Apr 28 2021

kleing committed rAFPa3e47d69f0c9: regen website.
regen website
Apr 28 2021, 9:47 AM

Apr 19 2021

kleing committed rAFP556e4a005c15: sshiftr/bl lemmas by Florian Märkl.
sshiftr/bl lemmas by Florian Märkl
Apr 19 2021, 12:27 AM

Mar 29 2021

kleing committed rAFP693ae1ce0d54: merge from afp-2021.
merge from afp-2021
Mar 29 2021, 8:40 AM

Mar 15 2021

kleing committed rAFPf313b8e67312: add Andreas Lochbihler as editor.
add Andreas Lochbihler as editor
Mar 15 2021, 9:01 PM

Feb 26 2021

kleing committed rAFPca99cb5446f9: merge from afp-2021.
merge from afp-2021
Feb 26 2021, 11:27 AM
kleing committed rAFP59274460849c: merge from afp-2021.
merge from afp-2021
Feb 26 2021, 11:26 AM
kleing committed rAFP47c06f8d5f2c: website update.
website update
Feb 26 2021, 11:26 AM
kleing committed rAFP6fc43618aaf0: revert accidental change.
revert accidental change
Feb 26 2021, 11:26 AM
kleing committed rAFPbe7b3ad01ba4: new entry BTree.
new entry BTree
Feb 26 2021, 11:26 AM
kleing committed rAFP90fe8dfd1261: fix typo (Bauer -> Bayer).
fix typo (Bauer -> Bayer)
Feb 26 2021, 11:26 AM
kleing committed rAFPa175903c09b5: add Windows example to use-instructions.
add Windows example to use-instructions
Feb 26 2021, 11:26 AM
kleing committed rAFP3a0ed0e8fcfb: Isabelle app layout changed on Mac.
Isabelle app layout changed on Mac
Feb 26 2021, 11:26 AM
kleing committed rAFP79150f043fa8: update with 2021 release .tar.gz's.
update with 2021 release .tar.gz's
Feb 26 2021, 11:26 AM
kleing committed rAFPfc614d4bafa6: 2021 web pages.
2021 web pages
Feb 26 2021, 11:26 AM
kleing committed rAFP4e172abaea0d: add Isabelle2021 release date.
add Isabelle2021 release date
Feb 26 2021, 11:26 AM
kleing committed rAFP89b54e9a0be0: update .tar.gz releases.
update .tar.gz releases
Feb 26 2021, 11:26 AM
kleing committed rAFP774ce640a08f: set version to 2021.
set version to 2021
Feb 26 2021, 11:26 AM

Feb 11 2021

kleing committed rAFPfd1d5b3fdd7c: close branch.
close branch
Feb 11 2021, 6:07 AM
kleing committed rAFPdaa87ea0470c: close branch.
close branch
Feb 11 2021, 6:07 AM
kleing committed rAFP1f7a1c0d5fbb: merge from afp-2021.
merge from afp-2021
Feb 11 2021, 6:07 AM
kleing committed rAFPf7321f5a8909: close branch.
close branch
Feb 11 2021, 6:07 AM
kleing committed rAFPa040f98f10ef: close branch.
close branch
Feb 11 2021, 6:07 AM
kleing committed rAFPff876ac75e44: close branch.
close branch
Feb 11 2021, 6:07 AM
kleing committed rAFP7dde2c633ece: adjust to Ergodic_Theory changes.
adjust to Ergodic_Theory changes
Feb 11 2021, 6:07 AM
kleing committed rAFP0b7b6eb56c31: merge from afp-2020.
merge from afp-2020
Feb 11 2021, 6:07 AM
kleing committed rAFP220cf8d8d032: new entry Laws_of_Large_Numbers.
new entry Laws_of_Large_Numbers
Feb 11 2021, 6:07 AM
kleing committed rAFP9a6ed530ce81: update stats for 2021 release version.
update stats for 2021 release version
Feb 11 2021, 6:07 AM

Feb 2 2021

kleing committed rAFPf9be8b09e21b: merge from afp-2021.
merge from afp-2021
Feb 2 2021, 10:53 PM
kleing committed rAFP07ea995a6665: merge from afp-2020.
merge from afp-2020
Feb 2 2021, 10:53 PM

Jan 24 2021

kleing committed rAFPeb0cc2599588: adjustments for Word_Lib updates.
adjustments for Word_Lib updates
Jan 24 2021, 10:33 AM