more uniform jEdit properties;
authorwenzelm
Fri Nov 13 14:49:30 2015 +0100 (2015-11-13)
changeset 61656cfabbc083977
parent 61655 f217bbe4e93e
child 61657 5b878bc6ae98
more uniform jEdit properties;
src/Doc/Eisbach/Base.thy
src/Doc/Eisbach/Manual.thy
src/Doc/Eisbach/Preface.thy
src/Doc/Implementation/Base.thy
src/Doc/Implementation/Eq.thy
src/Doc/Implementation/Integration.thy
src/Doc/Implementation/Isar.thy
src/Doc/Implementation/Local_Theory.thy
src/Doc/Implementation/Logic.thy
src/Doc/Implementation/ML.thy
src/Doc/Implementation/Prelim.thy
src/Doc/Implementation/Proof.thy
src/Doc/Implementation/Syntax.thy
src/Doc/Implementation/Tactic.thy
src/Doc/Isar_Ref/Base.thy
src/Doc/Isar_Ref/Document_Preparation.thy
src/Doc/Isar_Ref/First_Order_Logic.thy
src/Doc/Isar_Ref/Framework.thy
src/Doc/Isar_Ref/Generic.thy
src/Doc/Isar_Ref/HOL_Specific.thy
src/Doc/Isar_Ref/Inner_Syntax.thy
src/Doc/Isar_Ref/Outer_Syntax.thy
src/Doc/Isar_Ref/Preface.thy
src/Doc/Isar_Ref/Proof.thy
src/Doc/Isar_Ref/Proof_Script.thy
src/Doc/Isar_Ref/Quick_Reference.thy
src/Doc/Isar_Ref/Spec.thy
src/Doc/Isar_Ref/Symbols.thy
src/Doc/Isar_Ref/Synopsis.thy
src/Doc/JEdit/Base.thy
src/Doc/JEdit/JEdit.thy
src/Doc/System/Base.thy
src/Doc/System/Basics.thy
src/Doc/System/Misc.thy
src/Doc/System/Presentation.thy
src/Doc/System/Scala.thy
src/Doc/System/Sessions.thy
     1.1 --- a/src/Doc/Eisbach/Base.thy	Fri Nov 13 14:11:54 2015 +0100
     1.2 +++ b/src/Doc/Eisbach/Base.thy	Fri Nov 13 14:49:30 2015 +0100
     1.3 @@ -1,3 +1,5 @@
     1.4 +(*:maxLineLen=78:*)
     1.5 +
     1.6  section \<open>Basic setup that is not included in the document\<close>
     1.7  
     1.8  theory Base
     2.1 --- a/src/Doc/Eisbach/Manual.thy	Fri Nov 13 14:11:54 2015 +0100
     2.2 +++ b/src/Doc/Eisbach/Manual.thy	Fri Nov 13 14:49:30 2015 +0100
     2.3 @@ -1,4 +1,4 @@
     2.4 -(*:wrap=hard:maxLineLen=78:*)
     2.5 +(*:maxLineLen=78:*)
     2.6  
     2.7  theory Manual
     2.8  imports Base "~~/src/HOL/Eisbach/Eisbach_Tools"
     3.1 --- a/src/Doc/Eisbach/Preface.thy	Fri Nov 13 14:11:54 2015 +0100
     3.2 +++ b/src/Doc/Eisbach/Preface.thy	Fri Nov 13 14:49:30 2015 +0100
     3.3 @@ -1,4 +1,4 @@
     3.4 -(*:wrap=hard:maxLineLen=78:*)
     3.5 +(*:maxLineLen=78:*)
     3.6  
     3.7  theory Preface
     3.8  imports Base "~~/src/HOL/Eisbach/Eisbach_Tools"
     4.1 --- a/src/Doc/Implementation/Base.thy	Fri Nov 13 14:11:54 2015 +0100
     4.2 +++ b/src/Doc/Implementation/Base.thy	Fri Nov 13 14:49:30 2015 +0100
     4.3 @@ -1,3 +1,5 @@
     4.4 +(*:maxLineLen=78:*)
     4.5 +
     4.6  theory Base
     4.7  imports Main
     4.8  begin
     5.1 --- a/src/Doc/Implementation/Eq.thy	Fri Nov 13 14:11:54 2015 +0100
     5.2 +++ b/src/Doc/Implementation/Eq.thy	Fri Nov 13 14:49:30 2015 +0100
     5.3 @@ -1,3 +1,5 @@
     5.4 +(*:maxLineLen=78:*)
     5.5 +
     5.6  theory Eq
     5.7  imports Base
     5.8  begin
     6.1 --- a/src/Doc/Implementation/Integration.thy	Fri Nov 13 14:11:54 2015 +0100
     6.2 +++ b/src/Doc/Implementation/Integration.thy	Fri Nov 13 14:49:30 2015 +0100
     6.3 @@ -1,4 +1,4 @@
     6.4 -(*:wrap=hard:maxLineLen=78:*)
     6.5 +(*:maxLineLen=78:*)
     6.6  
     6.7  theory Integration
     6.8  imports Base
     7.1 --- a/src/Doc/Implementation/Isar.thy	Fri Nov 13 14:11:54 2015 +0100
     7.2 +++ b/src/Doc/Implementation/Isar.thy	Fri Nov 13 14:49:30 2015 +0100
     7.3 @@ -1,3 +1,5 @@
     7.4 +(*:maxLineLen=78:*)
     7.5 +
     7.6  theory Isar
     7.7  imports Base
     7.8  begin
     8.1 --- a/src/Doc/Implementation/Local_Theory.thy	Fri Nov 13 14:11:54 2015 +0100
     8.2 +++ b/src/Doc/Implementation/Local_Theory.thy	Fri Nov 13 14:49:30 2015 +0100
     8.3 @@ -1,3 +1,5 @@
     8.4 +(*:maxLineLen=78:*)
     8.5 +
     8.6  theory Local_Theory
     8.7  imports Base
     8.8  begin
     9.1 --- a/src/Doc/Implementation/Logic.thy	Fri Nov 13 14:11:54 2015 +0100
     9.2 +++ b/src/Doc/Implementation/Logic.thy	Fri Nov 13 14:49:30 2015 +0100
     9.3 @@ -1,3 +1,5 @@
     9.4 +(*:maxLineLen=78:*)
     9.5 +
     9.6  theory Logic
     9.7  imports Base
     9.8  begin
    10.1 --- a/src/Doc/Implementation/ML.thy	Fri Nov 13 14:11:54 2015 +0100
    10.2 +++ b/src/Doc/Implementation/ML.thy	Fri Nov 13 14:49:30 2015 +0100
    10.3 @@ -1,4 +1,4 @@
    10.4 -(*:wrap=hard:maxLineLen=78:*)
    10.5 +(*:maxLineLen=78:*)
    10.6  
    10.7  theory "ML"
    10.8  imports Base
    11.1 --- a/src/Doc/Implementation/Prelim.thy	Fri Nov 13 14:11:54 2015 +0100
    11.2 +++ b/src/Doc/Implementation/Prelim.thy	Fri Nov 13 14:49:30 2015 +0100
    11.3 @@ -1,3 +1,5 @@
    11.4 +(*:maxLineLen=78:*)
    11.5 +
    11.6  theory Prelim
    11.7  imports Base
    11.8  begin
    12.1 --- a/src/Doc/Implementation/Proof.thy	Fri Nov 13 14:11:54 2015 +0100
    12.2 +++ b/src/Doc/Implementation/Proof.thy	Fri Nov 13 14:49:30 2015 +0100
    12.3 @@ -1,3 +1,5 @@
    12.4 +(*:maxLineLen=78:*)
    12.5 +
    12.6  theory Proof
    12.7  imports Base
    12.8  begin
    13.1 --- a/src/Doc/Implementation/Syntax.thy	Fri Nov 13 14:11:54 2015 +0100
    13.2 +++ b/src/Doc/Implementation/Syntax.thy	Fri Nov 13 14:49:30 2015 +0100
    13.3 @@ -1,4 +1,4 @@
    13.4 -(*:wrap=hard:maxLineLen=78:*)
    13.5 +(*:maxLineLen=78:*)
    13.6  
    13.7  theory Syntax
    13.8  imports Base
    14.1 --- a/src/Doc/Implementation/Tactic.thy	Fri Nov 13 14:11:54 2015 +0100
    14.2 +++ b/src/Doc/Implementation/Tactic.thy	Fri Nov 13 14:49:30 2015 +0100
    14.3 @@ -1,3 +1,5 @@
    14.4 +(*:maxLineLen=78:*)
    14.5 +
    14.6  theory Tactic
    14.7  imports Base
    14.8  begin
    15.1 --- a/src/Doc/Isar_Ref/Base.thy	Fri Nov 13 14:11:54 2015 +0100
    15.2 +++ b/src/Doc/Isar_Ref/Base.thy	Fri Nov 13 14:49:30 2015 +0100
    15.3 @@ -1,3 +1,5 @@
    15.4 +(*:maxLineLen=78:*)
    15.5 +
    15.6  theory Base
    15.7  imports Pure
    15.8  begin
    16.1 --- a/src/Doc/Isar_Ref/Document_Preparation.thy	Fri Nov 13 14:11:54 2015 +0100
    16.2 +++ b/src/Doc/Isar_Ref/Document_Preparation.thy	Fri Nov 13 14:49:30 2015 +0100
    16.3 @@ -1,3 +1,5 @@
    16.4 +(*:maxLineLen=78:*)
    16.5 +
    16.6  theory Document_Preparation
    16.7  imports Base Main
    16.8  begin
    17.1 --- a/src/Doc/Isar_Ref/First_Order_Logic.thy	Fri Nov 13 14:11:54 2015 +0100
    17.2 +++ b/src/Doc/Isar_Ref/First_Order_Logic.thy	Fri Nov 13 14:49:30 2015 +0100
    17.3 @@ -1,3 +1,4 @@
    17.4 +(*:maxLineLen=78:*)
    17.5  
    17.6  section \<open>Example: First-Order Logic\<close>
    17.7  
    18.1 --- a/src/Doc/Isar_Ref/Framework.thy	Fri Nov 13 14:11:54 2015 +0100
    18.2 +++ b/src/Doc/Isar_Ref/Framework.thy	Fri Nov 13 14:49:30 2015 +0100
    18.3 @@ -1,3 +1,5 @@
    18.4 +(*:maxLineLen=78:*)
    18.5 +
    18.6  theory Framework
    18.7  imports Base Main
    18.8  begin
    19.1 --- a/src/Doc/Isar_Ref/Generic.thy	Fri Nov 13 14:11:54 2015 +0100
    19.2 +++ b/src/Doc/Isar_Ref/Generic.thy	Fri Nov 13 14:49:30 2015 +0100
    19.3 @@ -1,3 +1,5 @@
    19.4 +(*:maxLineLen=78:*)
    19.5 +
    19.6  theory Generic
    19.7  imports Base Main
    19.8  begin
    20.1 --- a/src/Doc/Isar_Ref/HOL_Specific.thy	Fri Nov 13 14:11:54 2015 +0100
    20.2 +++ b/src/Doc/Isar_Ref/HOL_Specific.thy	Fri Nov 13 14:49:30 2015 +0100
    20.3 @@ -1,3 +1,5 @@
    20.4 +(*:maxLineLen=78:*)
    20.5 +
    20.6  theory HOL_Specific
    20.7  imports
    20.8    Base
    21.1 --- a/src/Doc/Isar_Ref/Inner_Syntax.thy	Fri Nov 13 14:11:54 2015 +0100
    21.2 +++ b/src/Doc/Isar_Ref/Inner_Syntax.thy	Fri Nov 13 14:49:30 2015 +0100
    21.3 @@ -1,3 +1,5 @@
    21.4 +(*:maxLineLen=78:*)
    21.5 +
    21.6  theory Inner_Syntax
    21.7  imports Base Main
    21.8  begin
    22.1 --- a/src/Doc/Isar_Ref/Outer_Syntax.thy	Fri Nov 13 14:11:54 2015 +0100
    22.2 +++ b/src/Doc/Isar_Ref/Outer_Syntax.thy	Fri Nov 13 14:49:30 2015 +0100
    22.3 @@ -1,3 +1,5 @@
    22.4 +(*:maxLineLen=78:*)
    22.5 +
    22.6  theory Outer_Syntax
    22.7  imports Base Main
    22.8  begin
    23.1 --- a/src/Doc/Isar_Ref/Preface.thy	Fri Nov 13 14:11:54 2015 +0100
    23.2 +++ b/src/Doc/Isar_Ref/Preface.thy	Fri Nov 13 14:49:30 2015 +0100
    23.3 @@ -1,3 +1,5 @@
    23.4 +(*:maxLineLen=78:*)
    23.5 +
    23.6  theory Preface
    23.7  imports Base Main
    23.8  begin
    24.1 --- a/src/Doc/Isar_Ref/Proof.thy	Fri Nov 13 14:11:54 2015 +0100
    24.2 +++ b/src/Doc/Isar_Ref/Proof.thy	Fri Nov 13 14:49:30 2015 +0100
    24.3 @@ -1,3 +1,5 @@
    24.4 +(*:maxLineLen=78:*)
    24.5 +
    24.6  theory Proof
    24.7  imports Base Main
    24.8  begin
    24.9 @@ -5,6 +7,7 @@
   24.10  chapter \<open>Proofs \label{ch:proofs}\<close>
   24.11  
   24.12  text \<open>
   24.13 +
   24.14    Proof commands perform transitions of Isar/VM machine
   24.15    configurations, which are block-structured, consisting of a stack of
   24.16    nodes with three main components: logical proof context, current
    25.1 --- a/src/Doc/Isar_Ref/Proof_Script.thy	Fri Nov 13 14:11:54 2015 +0100
    25.2 +++ b/src/Doc/Isar_Ref/Proof_Script.thy	Fri Nov 13 14:49:30 2015 +0100
    25.3 @@ -1,3 +1,5 @@
    25.4 +(*:maxLineLen=78:*)
    25.5 +
    25.6  theory Proof_Script
    25.7  imports Base Main
    25.8  begin
    26.1 --- a/src/Doc/Isar_Ref/Quick_Reference.thy	Fri Nov 13 14:11:54 2015 +0100
    26.2 +++ b/src/Doc/Isar_Ref/Quick_Reference.thy	Fri Nov 13 14:49:30 2015 +0100
    26.3 @@ -1,3 +1,5 @@
    26.4 +(*:maxLineLen=78:*)
    26.5 +
    26.6  theory Quick_Reference
    26.7  imports Base Main
    26.8  begin
    27.1 --- a/src/Doc/Isar_Ref/Spec.thy	Fri Nov 13 14:11:54 2015 +0100
    27.2 +++ b/src/Doc/Isar_Ref/Spec.thy	Fri Nov 13 14:49:30 2015 +0100
    27.3 @@ -1,3 +1,5 @@
    27.4 +(*:maxLineLen=78:*)
    27.5 +
    27.6  theory Spec
    27.7  imports Base Main "~~/src/Tools/Permanent_Interpretation"
    27.8  begin
    28.1 --- a/src/Doc/Isar_Ref/Symbols.thy	Fri Nov 13 14:11:54 2015 +0100
    28.2 +++ b/src/Doc/Isar_Ref/Symbols.thy	Fri Nov 13 14:49:30 2015 +0100
    28.3 @@ -1,3 +1,5 @@
    28.4 +(*:maxLineLen=78:*)
    28.5 +
    28.6  theory Symbols
    28.7  imports Base Main
    28.8  begin
    29.1 --- a/src/Doc/Isar_Ref/Synopsis.thy	Fri Nov 13 14:11:54 2015 +0100
    29.2 +++ b/src/Doc/Isar_Ref/Synopsis.thy	Fri Nov 13 14:49:30 2015 +0100
    29.3 @@ -1,3 +1,5 @@
    29.4 +(*:maxLineLen=78:*)
    29.5 +
    29.6  theory Synopsis
    29.7  imports Base Main
    29.8  begin
    30.1 --- a/src/Doc/JEdit/Base.thy	Fri Nov 13 14:11:54 2015 +0100
    30.2 +++ b/src/Doc/JEdit/Base.thy	Fri Nov 13 14:49:30 2015 +0100
    30.3 @@ -1,3 +1,5 @@
    30.4 +(*:maxLineLen=78:*)
    30.5 +
    30.6  theory Base
    30.7  imports Main
    30.8  begin
    31.1 --- a/src/Doc/JEdit/JEdit.thy	Fri Nov 13 14:11:54 2015 +0100
    31.2 +++ b/src/Doc/JEdit/JEdit.thy	Fri Nov 13 14:49:30 2015 +0100
    31.3 @@ -1,4 +1,4 @@
    31.4 -(*:wrap=hard:maxLineLen=78:*)
    31.5 +(*:maxLineLen=78:*)
    31.6  
    31.7  theory JEdit
    31.8  imports Base
    32.1 --- a/src/Doc/System/Base.thy	Fri Nov 13 14:11:54 2015 +0100
    32.2 +++ b/src/Doc/System/Base.thy	Fri Nov 13 14:49:30 2015 +0100
    32.3 @@ -1,3 +1,5 @@
    32.4 +(*:maxLineLen=78:*)
    32.5 +
    32.6  theory Base
    32.7  imports Pure
    32.8  begin
    33.1 --- a/src/Doc/System/Basics.thy	Fri Nov 13 14:11:54 2015 +0100
    33.2 +++ b/src/Doc/System/Basics.thy	Fri Nov 13 14:49:30 2015 +0100
    33.3 @@ -1,4 +1,4 @@
    33.4 -(*:wrap=hard:maxLineLen=78:*)
    33.5 +(*:maxLineLen=78:*)
    33.6  
    33.7  theory Basics
    33.8  imports Base
    34.1 --- a/src/Doc/System/Misc.thy	Fri Nov 13 14:11:54 2015 +0100
    34.2 +++ b/src/Doc/System/Misc.thy	Fri Nov 13 14:49:30 2015 +0100
    34.3 @@ -1,4 +1,4 @@
    34.4 -(*:wrap=hard:maxLineLen=78:*)
    34.5 +(*:maxLineLen=78:*)
    34.6  
    34.7  theory Misc
    34.8  imports Base
    35.1 --- a/src/Doc/System/Presentation.thy	Fri Nov 13 14:11:54 2015 +0100
    35.2 +++ b/src/Doc/System/Presentation.thy	Fri Nov 13 14:49:30 2015 +0100
    35.3 @@ -1,4 +1,4 @@
    35.4 -(*:wrap=hard:maxLineLen=78:*)
    35.5 +(*:maxLineLen=78:*)
    35.6  
    35.7  theory Presentation
    35.8  imports Base
    36.1 --- a/src/Doc/System/Scala.thy	Fri Nov 13 14:11:54 2015 +0100
    36.2 +++ b/src/Doc/System/Scala.thy	Fri Nov 13 14:49:30 2015 +0100
    36.3 @@ -1,4 +1,4 @@
    36.4 -(*:wrap=hard:maxLineLen=78:*)
    36.5 +(*:maxLineLen=78:*)
    36.6  
    36.7  theory Scala
    36.8  imports Base
    37.1 --- a/src/Doc/System/Sessions.thy	Fri Nov 13 14:11:54 2015 +0100
    37.2 +++ b/src/Doc/System/Sessions.thy	Fri Nov 13 14:49:30 2015 +0100
    37.3 @@ -1,4 +1,4 @@
    37.4 -(*:wrap=hard:maxLineLen=78:*)
    37.5 +(*:maxLineLen=78:*)
    37.6  
    37.7  theory Sessions
    37.8  imports Base