Page MenuHomeIsabelle/Phabricator

immler (Fabian Immler)
User

Projects

User Details

User Since
Oct 28 2019, 4:02 PM (12 w, 11 h)

Recent Activity

Mon, Dec 23

immler committed rAFPdf45a67089ff: remove carriage return.
remove carriage return
Mon, Dec 23, 12:44 AM

Dec 19 2019

immler committed rAFP902736e5b3d5: update to isabelle 0131b7b44c32.
update to isabelle 0131b7b44c32
Dec 19 2019, 7:17 PM

Oct 28 2019

immler updated immler.
Oct 28 2019, 9:18 PM