*** MESSAGE REFERS TO PREVIOUS VERSION ***
authorwenzelm
Wed Apr 13 18:48:05 2005 +0200 (2005-04-13)
changeset 15717541e50adfc73
parent 15716 1291a8f2ccb1
child 15718 f088c10208c0
*** MESSAGE REFERS TO PREVIOUS VERSION ***
ISABELLE_DOC_FORMAT;
etc/settings
lib/Tools/doc
lib/Tools/mkdir
     1.1 --- a/etc/settings	Wed Apr 13 18:47:53 2005 +0200
     1.2 +++ b/etc/settings	Wed Apr 13 18:48:05 2005 +0200
     1.3 @@ -239,3 +239,4 @@
     1.4  
     1.5  # Jerusat 1.3 (SAT Solver)
     1.6  #JERUSAT_HOME=/usr/local/bin
     1.7 +
     2.1 --- a/lib/Tools/doc	Wed Apr 13 18:47:53 2005 +0200
     2.2 +++ b/lib/Tools/doc	Wed Apr 13 18:48:05 2005 +0200
     2.3 @@ -59,3 +59,4 @@
     2.4    IFS="$ORIG_IFS"
     2.5    fail "Unknown Isabelle document: $DOC"  
     2.6  fi
     2.7 +
     3.1 --- a/lib/Tools/mkdir	Wed Apr 13 18:47:53 2005 +0200
     3.2 +++ b/lib/Tools/mkdir	Wed Apr 13 18:48:05 2005 +0200
     3.3 @@ -285,3 +285,4 @@
     3.4  
     3.5  EOF
     3.6  fi
     3.7 +