Page MenuHomeIsabelle/Phabricator

kleing (Gerwin Klein)
User

Projects

User Details

User Since
Feb 15 2020, 8:18 AM (60 w, 1 d)

Recent Activity

Mon, Mar 29

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

Mon, Mar 15

kleing committed rAFPf313b8e67312: add Andreas Lochbihler as editor.
add Andreas Lochbihler as editor
Mon, Mar 15, 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
kleing committed rAFP91f1cdbeefc0: AFP-2020 website.
AFP-2020 website
Apr 21 2020, 3:38 AM
kleing committed rAFP311700300c7c: register 2020 entry releases.
register 2020 entry releases
Apr 21 2020, 3:38 AM
kleing committed rAFP8ffca9ca3c99: remove dependency on Complex_Main.
remove dependency on Complex_Main
Apr 21 2020, 3:38 AM
kleing committed rAFPe89008fdf2dc: regenerate website.
regenerate website
Apr 21 2020, 3:38 AM
kleing committed rAFP1b216897a050: update release dates for Isabelle2020.
update release dates for Isabelle2020
Apr 21 2020, 3:38 AM
kleing committed rAFP1dfa8708ac1c: declare missing session dependency.
declare missing session dependency
Apr 21 2020, 3:38 AM

Apr 13 2020

kleing committed rAFP5978c17604c0: merge from afp-2020.
merge from afp-2020
Apr 13 2020, 10:27 AM
kleing committed rAFPe39f7649d57a: merged from afp-2019.
merged from afp-2019
Apr 13 2020, 10:27 AM
kleing committed rAFP9449ae539c8a: adapted to Isabelle2020-RC5.
adapted to Isabelle2020-RC5
Apr 13 2020, 10:27 AM
kleing committed rAFP92b287f467d0: merged commit from afp-devel.
merged commit from afp-devel
Apr 13 2020, 10:27 AM
kleing committed rAFPb3fb5b59b92e: 2019 -> 2020 in docs.
2019 -> 2020 in docs
Apr 13 2020, 10:27 AM
kleing committed rAFP2df1c25ed806: set version to 2020.
set version to 2020
Apr 13 2020, 10:27 AM
kleing committed rAFPd2b8bb8390f7: update tar.gz releases.
update tar.gz releases
Apr 13 2020, 10:27 AM
kleing added a reverting change for rAFP9bd18ac101a7: elimination of some aliases, etc.: rAFP846453287399: Backed out changesets 4424bf5e28e0, 6bdf58e7175e, 9bd18ac101a7 for Isabelle2020.
Apr 13 2020, 10:27 AM
kleing committed rAFP846453287399: Backed out changesets 4424bf5e28e0, 6bdf58e7175e, 9bd18ac101a7 for Isabelle2020.
Backed out changesets 4424bf5e28e0, 6bdf58e7175e, 9bd18ac101a7 for Isabelle2020
Apr 13 2020, 10:27 AM
kleing added a reverting change for rAFP6bdf58e7175e: elimination of some aliases: rAFP846453287399: Backed out changesets 4424bf5e28e0, 6bdf58e7175e, 9bd18ac101a7 for Isabelle2020.
Apr 13 2020, 10:27 AM
kleing added a reverting change for rAFP4424bf5e28e0: more fixes for alias issues (which for Auto2 means giving up): rAFP846453287399: Backed out changesets 4424bf5e28e0, 6bdf58e7175e, 9bd18ac101a7 for Isabelle2020.
Apr 13 2020, 10:27 AM

Mar 28 2020

kleing committed rAFP9ff984debb46: merge from afp-2019.
merge from afp-2019
Mar 28 2020, 6:13 AM

Mar 19 2020

kleing committed rAFPc210ece1391e: Word_Lib: document build.
Word_Lib: document build
Mar 19 2020, 1:14 PM
kleing committed rAFP16b636683e92: Word_Lib: contributions from l4v.
Word_Lib: contributions from l4v
Mar 19 2020, 12:47 PM
kleing committed rAFPde0c57e464f7: revert change to ~~ syntax.
revert change to ~~ syntax
Mar 19 2020, 12:47 PM

Feb 17 2020

kleing triaged T13: Isabelle/jEdit indenting as Normal priority.
Feb 17 2020, 4:10 AM