Page MenuHomeIsabelle/Phabricator
People kleing

kleing (Gerwin Klein)
User

Projects

User Details

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

Recent Activity
View All

Sun, Jan 24

kleing committed rAFPeb0cc2599588: adjustments for Word_Lib updates.
adjustments for Word_Lib updates
Sun, Jan 24, 10:33 AM
kleing committed rAFP2332e6e5e05e: sync with l4v.
sync with l4v
Sun, Jan 24, 10:33 AM
kleing committed rAFP6bb5c735fb18: allow instance for nat.
allow instance for nat
Sun, Jan 24, 7:39 AM
kleing committed rAFP824ba5ec1ce6: merge from afp-2020.
merge from afp-2020
Sun, Jan 24, 3:12 AM

Sun, Jan 17

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

Fri, Jan 15

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

Wed, Jan 13

kleing committed rAFPf7ada09942ba: merge from afp-2020.
merge from afp-2020
Wed, Jan 13, 12:38 AM
kleing committed rAFP52bcf666e8c7: CSP_RefTK: adjust for Isabelle 1105c42722dc.
CSP_RefTK: adjust for Isabelle 1105c42722dc
Wed, Jan 13, 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