Page MenuHomeIsabelle/Phabricator

kleing (Gerwin Klein)
User

Projects

User Details

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

Recent Activity

Sun, May 17

kleing committed rAFP78e7e62b73bd: merge from afp-2020.
merge from afp-2020
Sun, May 17, 10:41 AM
kleing committed rAFP19fa00c4832d: adapt to Isabelle 07c85c68ff03.
adapt to Isabelle 07c85c68ff03
Sun, May 17, 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