Page MenuHomeIsabelle/Phabricator

kleing (Gerwin Klein)
User

Projects

User Details

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

Recent Activity

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
kleing committed rAFP2332e6e5e05e: sync with l4v.
sync with l4v
Jan 24 2021, 10:33 AM
kleing committed rAFP6bb5c735fb18: allow instance for nat.
allow instance for nat
Jan 24 2021, 7:39 AM
kleing committed rAFP824ba5ec1ce6: merge from afp-2020.
merge from afp-2020
Jan 24 2021, 3:12 AM

Jan 17 2021

kleing committed rAFP21348d1ad4c9: sync Word_Lib with l4v.
sync Word_Lib with l4v
Jan 17 2021, 10:52 PM

Jan 15 2021

kleing committed rAFP601908994b57: Word_Lib: spelling.
Word_Lib: spelling
Jan 15 2021, 8:12 AM

Jan 13 2021

kleing committed rAFPf7ada09942ba: merge from afp-2020.
merge from afp-2020
Jan 13 2021, 12:38 AM
kleing committed rAFP52bcf666e8c7: CSP_RefTK: adjust for Isabelle 1105c42722dc.
CSP_RefTK: adjust for Isabelle 1105c42722dc
Jan 13 2021, 12:38 AM

Dec 9 2020

kleing committed rAFP8442fc1cb727: Relational_Method: adjustments for isabelle f0fa51227a23.
Relational_Method: adjustments for isabelle f0fa51227a23
Dec 9 2020, 1:01 AM
kleing committed rAFPc0f91ac420e7: merge from afp-2020.
merge from afp-2020
Dec 9 2020, 1:01 AM
kleing committed rAFPcd33914660a2: regenerate website with new bibtex.
regenerate website with new bibtex
Dec 9 2020, 1:01 AM
kleing committed rAFP8234453a0f91: Use HTTPS in BibTeX URLs (by Martin Desharnais).
Use HTTPS in BibTeX URLs (by Martin Desharnais)
Dec 9 2020, 1:01 AM
kleing committed rAFP91ca4136b53f: merge from afp-2020.
merge from afp-2020
Dec 9 2020, 1:01 AM
kleing committed rAFP058bb35d2e69: adjust Isabelle_Marries_Dirac to isabelle f0fa51227a23.
adjust Isabelle_Marries_Dirac to isabelle f0fa51227a23
Dec 9 2020, 1:01 AM
kleing committed rAFPb33e4e32b4ec: merge.
merge
Dec 9 2020, 1:01 AM
kleing committed rAFP5728774bf660: fix sitegen warning.
fix sitegen warning
Dec 9 2020, 1:01 AM
kleing committed rAFPc739e71fd6ff: new entry Finite-Map-Extras.
new entry Finite-Map-Extras
Dec 9 2020, 1:01 AM

Nov 27 2020

kleing committed rAFP11e9abcf7366: 2 new devel entries: DOM_Components and Shadow_DOM.
2 new devel entries: DOM_Components and Shadow_DOM
Nov 27 2020, 8:59 AM
kleing committed rAFP707413df05fd: merge from afp-2020.
merge from afp-2020
Nov 27 2020, 7:55 AM

Sep 8 2020

kleing committed rAFP2fb39c7dd7ff: merge from afp-2020.
merge from afp-2020
Sep 8 2020, 7:15 AM

Jul 14 2020

kleing committed rAFP8c7430699dc1: merge from afp-2020.
merge from afp-2020
Jul 14 2020, 4:40 AM
kleing committed rAFPc645808bafa7: update maintenance docs.
update maintenance docs
Jul 14 2020, 4:40 AM

Jul 1 2020

kleing committed rAFPec1d5c638a9d: merge from afp-2020.
merge from afp-2020
Jul 1 2020, 4:02 AM
kleing committed rAFPe4d6b7cae35c: Update history commit links to Heptapod.
Update history commit links to Heptapod
Jul 1 2020, 4:02 AM
kleing committed rAFPb29dde548f6b: Error message update.
Error message update
Jul 1 2020, 3:12 AM
kleing committed rAFP4d18e0481131: merge from afp-2020.
merge from afp-2020
Jul 1 2020, 3:12 AM
kleing committed rAFPc6e3efe2d729: One more instance of Bitbucket in README.
One more instance of Bitbucket in README
Jul 1 2020, 3:11 AM
kleing committed rAFPd3f602e38421: remove Bitbucket from website.
remove Bitbucket from website
Jul 1 2020, 3:11 AM
kleing committed rAFP331165f0b57c: Update editor instructions for Heptapod + clarifications.
Update editor instructions for Heptapod + clarifications
Jul 1 2020, 3:11 AM
kleing committed rAFP0519b84e33aa: Convert maintenance instructions to Heptapod.
Convert maintenance instructions to Heptapod
Jul 1 2020, 3:11 AM
kleing committed rAFPd78aafccfd60: Update README to Heptapod.
Update README to Heptapod
Jul 1 2020, 3:11 AM
kleing committed rAFP9dfda1e96dc6: Point publish script to heptapod.
Point publish script to heptapod
Jul 1 2020, 3:11 AM

Jun 29 2020

kleing committed rAFP87644ed179f4: Further Bitbucket -> Heptapod docs update.
Further Bitbucket -> Heptapod docs update
Jun 29 2020, 2:39 PM
kleing committed rAFP3b5ff4b8d37d: Closing branch "devel".
Closing branch "devel"
Jun 29 2020, 6:10 AM
kleing committed rAFPa35807f8a56e: merge.
merge
Jun 29 2020, 6:05 AM
kleing committed rAFPc0032d11a990: Bitbucket -> Heptapod.
Bitbucket -> Heptapod
Jun 29 2020, 6:00 AM
kleing committed rAFP238b15a87fd2: Update README for Heptapod.
Update README for Heptapod
Jun 29 2020, 4:47 AM

Jun 26 2020

kleing committed rAFPf4d20b0c2eeb: merge from afp-2020.
merge from afp-2020
Jun 26 2020, 3:19 PM
kleing committed rAFP171e9088949c: point download link to Heptapod.
point download link to Heptapod
Jun 26 2020, 3:19 PM
kleing committed rAFP7bb6f0ef78aa: merged.
merged
Jun 26 2020, 3:19 PM
kleing committed rAFPffad850319cf: Heptapod acknowledgements.
Heptapod acknowledgements
Jun 26 2020, 3:19 PM
kleing committed rAFP50490f5bdc82: merge from afp-2020.
merge from afp-2020
Jun 26 2020, 3:50 AM
kleing committed rAFP7904a23154fd: adapted to Isabelle 80d7f004089d.
adapted to Isabelle 80d7f004089d
Jun 26 2020, 3:49 AM
kleing committed rAFP32c1aff4de5d: adapted to Isabelle 80d7f004089d.
adapted to Isabelle 80d7f004089d
Jun 26 2020, 3:49 AM
kleing committed rAFP0426e5a56075: Heptapod acknowledgements.
Heptapod acknowledgements
Jun 26 2020, 3:49 AM
kleing committed rAFPc3ce5c83ccb4: new entries.
new entries
Jun 26 2020, 3:49 AM

May 17 2020

kleing committed rAFP78e7e62b73bd: merge from afp-2020.
merge from afp-2020
May 17 2020, 10:41 AM
kleing committed rAFP19fa00c4832d: adapt to Isabelle 07c85c68ff03.
adapt to Isabelle 07c85c68ff03
May 17 2020, 10:41 AM

Apr 29 2020

kleing committed rAFP71bf77101d31: merge from afp-2020.
merge from afp-2020
Apr 29 2020, 5:25 AM
kleing committed rAFP35a3e96d1e61: sitegen with mathjax.
sitegen with mathjax
Apr 29 2020, 5:25 AM

Apr 21 2020

kleing committed rAFPea64af8304a7: merge from afp-2020.
merge from afp-2020
Apr 21 2020, 3:38 AM