src/Doc/Isar_Ref/Proof_Script.thy
changeset 61656 cfabbc083977
parent 61503 28e788ca2c5d
child 61657 5b878bc6ae98
     1.1 --- a/src/Doc/Isar_Ref/Proof_Script.thy	Fri Nov 13 14:11:54 2015 +0100
     1.2 +++ b/src/Doc/Isar_Ref/Proof_Script.thy	Fri Nov 13 14:49:30 2015 +0100
     1.3 @@ -1,3 +1,5 @@
     1.4 +(*:maxLineLen=78:*)
     1.5 +
     1.6  theory Proof_Script
     1.7  imports Base Main
     1.8  begin