[Scstudio-commits] SF.net SVN: scstudio:[1288] trunk/doc/help

SourceForge Headquarters 1320 Columbia Street Suite 310 San Diego, CA 92101 +1 (858) 422-6466

Revision: 1288
          http://scstudio.svn.sourceforge.net/scstudio/?rev=1288&view=rev
Author:   mbezdeka
Date:     2012-01-13 23:46:03 +0000 (Fri, 13 Jan 2012)
Log Message:
-----------
titles consistency

Modified Paths:
--------------
    trunk/doc/help/beautify/beautify.head.htm
    trunk/doc/help/deadlock/deadlock.head.htm
    trunk/doc/help/fifo/fifo.head.htm
    trunk/doc/help/frontend/automatic_drawing.head.htm
    trunk/doc/help/frontend/flip_message_direction.head.htm
    trunk/doc/help/frontend/message_numbering.head.htm
    trunk/doc/help/frontend/settings.head.htm
    trunk/doc/help/frontend/shape_selection.head.htm
    trunk/doc/help/livelock/livelock.head.htm
    trunk/doc/help/localchoice/localchoice.head.htm
    trunk/doc/help/membership/membership.head.htm
    trunk/doc/help/realizability/realizability.head.htm
    trunk/doc/help/recursivity/recursivity.head.htm
    trunk/doc/help/time_consistency/time_consistency.head.htm
    trunk/doc/help/time_trace_race/time_race.head.htm

Modified: trunk/doc/help/beautify/beautify.head.htm
===================================================================

--- trunk/doc/help/beautify/beautify.head.htm	2012-01-13 19:53:24 UTC (rev 1287)
+++ trunk/doc/help/beautify/beautify.head.htm	2012-01-13 23:46:03 UTC (rev 1288)
@@ -7,7 +7,7 @@
 <html xmlns="http://www.w3.org/1999/xhtml">
   <head>
     <title>
-      Beautify documentation
+      Beautify
     </title>
     <link href="../help.css" rel="stylesheet" type="text/css" />
   </head>

Modified: trunk/doc/help/deadlock/deadlock.head.htm
===================================================================
--- trunk/doc/help/deadlock/deadlock.head.htm	2012-01-13 19:53:24 UTC (rev 1287)
+++ trunk/doc/help/deadlock/deadlock.head.htm	2012-01-13 23:46:03 UTC (rev 1288)
@@ -7,7 +7,7 @@
 <html xmlns="http://www.w3.org/1999/xhtml">
   <head>
     <title>
-      Deadlock
+      Deadlock Free
     </title>
     <meta name="author" content="Martin Chmelik" />
     <link href="../help.css" rel="stylesheet" type="text/css" />

Modified: trunk/doc/help/fifo/fifo.head.htm
===================================================================
--- trunk/doc/help/fifo/fifo.head.htm	2012-01-13 19:53:24 UTC (rev 1287)
+++ trunk/doc/help/fifo/fifo.head.htm	2012-01-13 23:46:03 UTC (rev 1288)
@@ -7,7 +7,7 @@
 <html xmlns="http://www.w3.org/1999/xhtml">
   <head>
     <title>
-      FIFO
+      FIFO - First In First Out
     </title>
     <meta name="author" content="Martin Chmelik" />
     <link href="../help.css" rel="stylesheet" type="text/css" />

Modified: trunk/doc/help/frontend/automatic_drawing.head.htm
===================================================================
--- trunk/doc/help/frontend/automatic_drawing.head.htm	2012-01-13 19:53:24 UTC (rev 1287)
+++ trunk/doc/help/frontend/automatic_drawing.head.htm	2012-01-13 23:46:03 UTC (rev 1288)
@@ -7,7 +7,7 @@
 <html xmlns="http://www.w3.org/1999/xhtml">
   <head>
     <title>
-      Automatic Drawing - SCStudio frontend
+      Automatic Drawing
     </title>
     <link href="../help.css" rel="stylesheet" type="text/css" />
   </head>

Modified: trunk/doc/help/frontend/flip_message_direction.head.htm
===================================================================
--- trunk/doc/help/frontend/flip_message_direction.head.htm	2012-01-13 19:53:24 UTC (rev 1287)
+++ trunk/doc/help/frontend/flip_message_direction.head.htm	2012-01-13 23:46:03 UTC (rev 1288)
@@ -7,7 +7,7 @@
 <html xmlns="http://www.w3.org/1999/xhtml">
   <head>
     <title>
-      Flip Message Direction - SCStudio frontend
+      Flip Message Direction
     </title>
     <link href="../help.css" rel="stylesheet" type="text/css" />
   </head>

Modified: trunk/doc/help/frontend/message_numbering.head.htm
===================================================================
--- trunk/doc/help/frontend/message_numbering.head.htm	2012-01-13 19:53:24 UTC (rev 1287)
+++ trunk/doc/help/frontend/message_numbering.head.htm	2012-01-13 23:46:03 UTC (rev 1288)
@@ -5,8 +5,10 @@
    "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd" >
 
 <html xmlns="http://www.w3.org/1999/xhtml">
-<head>
-<title>Element Numbering &ndash; SCStudio frontend</title>
-<link href="../help.css" rel="stylesheet" type="text/css" />
-</head>
-<body>
+  <head>
+    <title>
+      Element Numbering
+    </title>
+    <link href="../help.css" rel="stylesheet" type="text/css" />
+  </head>
+  <body>

Modified: trunk/doc/help/frontend/settings.head.htm
===================================================================
--- trunk/doc/help/frontend/settings.head.htm	2012-01-13 19:53:24 UTC (rev 1287)
+++ trunk/doc/help/frontend/settings.head.htm	2012-01-13 23:46:03 UTC (rev 1288)
@@ -7,7 +7,7 @@
 <html xmlns="http://www.w3.org/1999/xhtml">
   <head>
     <title>
-      Settings dialog
+      Options
     </title>
     <link href="../help.css" rel="stylesheet" type="text/css" />
   </head>

Modified: trunk/doc/help/frontend/shape_selection.head.htm
===================================================================
--- trunk/doc/help/frontend/shape_selection.head.htm	2012-01-13 19:53:24 UTC (rev 1287)
+++ trunk/doc/help/frontend/shape_selection.head.htm	2012-01-13 23:46:03 UTC (rev 1288)
@@ -7,7 +7,7 @@
 <html xmlns="http://www.w3.org/1999/xhtml">
   <head>
     <title>
-      Shape Selection - SCStudio frontend
+      Shape Selection
     </title>
     <link href="../help.css" rel="stylesheet" type="text/css" />
   </head>

Modified: trunk/doc/help/livelock/livelock.head.htm
===================================================================
--- trunk/doc/help/livelock/livelock.head.htm	2012-01-13 19:53:24 UTC (rev 1287)
+++ trunk/doc/help/livelock/livelock.head.htm	2012-01-13 23:46:03 UTC (rev 1288)
@@ -7,7 +7,7 @@
 <html xmlns="http://www.w3.org/1999/xhtml">
   <head>
     <title>
-      Livelock
+      Livelock Free
     </title>
     <meta name="author" content="Martin Chmelik" />
     <link href="../help.css" rel="stylesheet" type="text/css" />

Modified: trunk/doc/help/localchoice/localchoice.head.htm
===================================================================
--- trunk/doc/help/localchoice/localchoice.head.htm	2012-01-13 19:53:24 UTC (rev 1287)
+++ trunk/doc/help/localchoice/localchoice.head.htm	2012-01-13 23:46:03 UTC (rev 1288)
@@ -7,7 +7,7 @@
 <html xmlns="http://www.w3.org/1999/xhtml">
   <head>
     <title>
-      Non-local choice
+      Local Choice
     </title>
     <meta name="author" content="Martin Chmelik" />
     <link href="../help.css" rel="stylesheet" type="text/css" />

Modified: trunk/doc/help/membership/membership.head.htm
===================================================================
--- trunk/doc/help/membership/membership.head.htm	2012-01-13 19:53:24 UTC (rev 1287)
+++ trunk/doc/help/membership/membership.head.htm	2012-01-13 23:46:03 UTC (rev 1288)
@@ -7,8 +7,8 @@
 <html xmlns="http://www.w3.org/1999/xhtml">
   <head>
     <title>
-      membership documentation
+      Find Flow
     </title>
     <link href="../help.css" rel="stylesheet" type="text/css" />
   </head>
-  <body lang="en-US" dir="ltr" style="border: none; padding: 0in">
+  <body>

Modified: trunk/doc/help/realizability/realizability.head.htm
===================================================================
--- trunk/doc/help/realizability/realizability.head.htm	2012-01-13 19:53:24 UTC (rev 1287)
+++ trunk/doc/help/realizability/realizability.head.htm	2012-01-13 23:46:03 UTC (rev 1288)
@@ -7,7 +7,7 @@
 <html xmlns="http://www.w3.org/1999/xhtml">
   <head>
     <title>
-      Strong realizability
+      Strong Realizability
     </title>
     <meta name="author" content="Martin Chmelik" />
     <link href="../help.css" rel="stylesheet" type="text/css" />

Modified: trunk/doc/help/recursivity/recursivity.head.htm
===================================================================
--- trunk/doc/help/recursivity/recursivity.head.htm	2012-01-13 19:53:24 UTC (rev 1287)
+++ trunk/doc/help/recursivity/recursivity.head.htm	2012-01-13 23:46:03 UTC (rev 1288)
@@ -7,7 +7,7 @@
 <html xmlns="http://www.w3.org/1999/xhtml">
   <head>
     <title>
-      Acyclic property
+      Nonrecursivity
     </title>
     <meta name="author" content="Martin Chmelik" />
     <link href="../help.css" rel="stylesheet" type="text/css" />

Modified: trunk/doc/help/time_consistency/time_consistency.head.htm
===================================================================
--- trunk/doc/help/time_consistency/time_consistency.head.htm	2012-01-13 19:53:24 UTC (rev 1287)
+++ trunk/doc/help/time_consistency/time_consistency.head.htm	2012-01-13 23:46:03 UTC (rev 1288)
@@ -7,7 +7,7 @@
 <html xmlns="http://www.w3.org/1999/xhtml">
   <head>
     <title>
-      Time Consistency
+      Time Consistent
     </title>
     <meta name="author" content="Martin Chmelik" />
     <link href="../help.css" rel="stylesheet" type="text/css" />

Modified: trunk/doc/help/time_trace_race/time_race.head.htm
===================================================================
--- trunk/doc/help/time_trace_race/time_race.head.htm	2012-01-13 19:53:24 UTC (rev 1287)
+++ trunk/doc/help/time_trace_race/time_race.head.htm	2012-01-13 23:46:03 UTC (rev 1288)
@@ -1,3 +1,5 @@
+<?xml version="1.0" encoding="utf-8"?>
+
 <!DOCTYPE html
    PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
    "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd" >

This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.



