![[Jenkins]](/jenkins/static/98dcae99/images/svgs/logo.svg){kind=logo}
Summary
- update to Isabelle fc2835a932d9
- chmod -x
| The file was modified | thys/Complx/Language.thy (diff) |
| The file was modified | thys/Complx/OG_Annotations.thy (diff) |
| The file was modified | thys/Complx/OG_Soundness.thy (diff) |
| The file was modified | thys/Complx/OG_Syntax.thy (diff) |
| The file was modified | thys/Complx/ex/SumArr.thy (diff) |
| The file was modified | thys/Separata/ROOT (diff) |
| The file was modified | thys/Separata/Separata.thy (diff) |
| The file was modified | thys/Separata/document/root.tex (diff) |