Page MenuHomeIsabelle/Phabricator

kappelmann (Kevin Kappelmann)
User

Projects

User does not belong to any projects.

User Details

User Since
Sep 26 2019, 10:59 AM (175 w, 1 d)

Recent Activity

Dec 4 2021

kappelmann committed rAFP5a8b07a912c1: feat(Auto2_HOL) fix setup such that auto2 can be used by other object logics….
feat(Auto2_HOL) fix setup such that auto2 can be used by other object logics…
Dec 4 2021, 2:38 PM

Nov 15 2021

kappelmann committed rAFP30b2022b09f2: feat(SpecCheck/Show) add parentheses for option SOME case.
feat(SpecCheck/Show) add parentheses for option SOME case
Nov 15 2021, 1:00 PM

Nov 8 2021

kappelmann committed rAFP6b07f915b460: feat(SpecCheck) add better unit tests facilities, examples and exceptions….
feat(SpecCheck) add better unit tests facilities, examples and exceptions…
Nov 8 2021, 5:18 PM

Nov 4 2021

kappelmann committed rAFPb9fadc5d34c4: feat(SpecCheck) add possibility to make builds fail on failure and extend README.
feat(SpecCheck) add possibility to make builds fail on failure and extend README
Nov 4 2021, 11:00 AM

Sep 30 2021

kappelmann committed rAFP4ea18c203d18: feat(SpecCheck/Show) tune pretty printing for environments.
feat(SpecCheck/Show) tune pretty printing for environments
Sep 30 2021, 7:13 PM

Sep 27 2021

kappelmann committed rAFPf5b9195ac412: feat(SpecCheck) folder renaming, types for tests.
feat(SpecCheck) folder renaming, types for tests
Sep 27 2021, 7:13 PM

Aug 26 2021

kappelmann added a reverting change for rISABELLEd4af818e0880: Backed out changeset fe8d0f4da0e6: rISABELLEbf9871795aeb: Backed out changeset d4af818e0880.
Aug 26 2021, 1:42 PM
kappelmann committed rISABELLEbf9871795aeb: Backed out changeset d4af818e0880.
Backed out changeset d4af818e0880
Aug 26 2021, 1:42 PM

Jul 12 2021

kappelmann committed rAFP44953ff0d822: fix(Regex_Equivalence) update to new SpecCheck version.
fix(Regex_Equivalence) update to new SpecCheck version
Jul 12 2021, 7:59 PM

Jul 8 2021

kappelmann committed rISABELLEfe8d0f4da0e6: remove SpecCheck; it is now part of the AFP.
remove SpecCheck; it is now part of the AFP
Jul 8 2021, 11:01 PM