Page MenuHomeIsabelle/Phabricator

kleing (Gerwin Klein)
User

Projects

User Details

User Since
Feb 15 2020, 8:18 AM (32 w, 4 d)

Recent Activity

Tue, Sep 8

kleing committed rAFP2fb39c7dd7ff: merge from afp-2020.
merge from afp-2020
Tue, Sep 8, 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