Menu
▾
▴
[Scstudio-commits] SF.net SVN: scstudio:[980] trunk/doc/help
|
From: <koc...@us...> - 2010-09-20 15:36:57
|
Revision: 980
http://scstudio.svn.sourceforge.net/scstudio/?rev=980&view=rev
Author: kocianon
Date: 2010-09-20 15:36:50 +0000 (Mon, 20 Sep 2010)
Log Message:
-----------
deleting redundant help files: one index file, menu on the left; menu in final look in acyclic.html
Modified Paths:
--------------
trunk/doc/help/acyclic/acyclic.html
trunk/doc/help/help.css
trunk/doc/help/index.html
Removed Paths:
-------------
trunk/doc/help/algorithms.html
trunk/doc/help/frontend.html
trunk/doc/help/transformers.html
Modified: trunk/doc/help/acyclic/acyclic.html
===================================================================
--- trunk/doc/help/acyclic/acyclic.html 2010-09-20 14:50:33 UTC (rev 979)
+++ trunk/doc/help/acyclic/acyclic.html 2010-09-20 15:36:50 UTC (rev 980)
@@ -17,88 +17,90 @@
</h1>
<ul>
<li>
- <a href="../frontend.html">Microsoft Visio Front-end</a>
+ Microsoft Visio Front-end
<ul>
- <li>
- <a href="../frontend/shape_selection.html">Shape Selection</a>
- </li>
- <li>
- <a href="../frontend/automatic_drawing.html">Automatic Drawing</a>
- </li>
- <li>
- <a href="../frontend/message_numbering.html">Message Numbering</a>
- </li>
- <li>
- <a href="../frontend/message_snapping.html">Message Snapping</a>
- </li>
- <li>
- <a href="../frontend/shortcuts.html">Keyboard Accelerators</a>
- </li>
+ <li>
+ <a href="frontend/shape_selection.html">Shape selection</a>
+ </li>
+ <li>
+ <a href="frontend/automatic_drawing.html">Automatic drawing</a>
+ </li>
+ <li>
+ <a href="frontend/message_numbering.html">Message numbering</a>
+ </li>
+ <li>
+ <a href="frontend/flip_message_direction.html">Flip message direction</a>
+ </li>
+ <li>
+ <a href="frontend/settings.html">Drawing settings</a>
+ </li>
</ul>
</li>
<li>
- <a href="../algorithms.html">Verification Algoritms</a>
+ Verification Algorithms
<ul>
<li>
<a href="../acyclic/acyclic.html">Acyclic property</a>
</li>
<li>
- <a href="../boundedness/boundedness.html">Universal Boundedness</a>
+ <a href="../time_syntax/time_syntax.html">Correct Time Constraint
+ Syntax</a>
</li>
<li>
- <a href="../deadlock/deadlock.html">Deadlock</a>
+ <a href="../deadlock/deadlock.html">Deadlock Free</a>
</li>
<li>
- <a href="../fifo/fifo.html">FIFO</a>
+ <a href="../fifo/fifo.html">FIFO - First In First Out</a>
</li>
<li>
- <a href="../livelock/livelock.html">Livelock</a>
+ <a href="../livelock/livelock.html">Livelock Free</a>
</li>
<li>
- <a href="../localchoice/localchoice.html">Nonlocal Choice</a>
+ <a href="../localchoice/localchoice.html">Local Choice</a>
</li>
<li>
+ <a href="../recursivity/recursivity.html">Nonrecursivity</a>
+ </li>
+ <li>
<a href="../race/race.html">Race Condition</a>
</li>
<li>
<a href="../realizability/realizability.html">Strong Realizability</a>
</li>
<li>
- <a href="../recursivity/recursivity.html">Non-recursivity</a>
+ <a href="../time_consistency/time_consistency.html">Time Consistent</a>
</li>
<li>
- <a href="../time_consistency/time_consistency.html">Time Consistency</a>
- </li>
- <li>
- <a href="../time_syntax/time_syntax.html">Correct Time Constraint
- Syntax</a>
- </li>
- <li>
<a href="../time_trace_race/time_race.html">Time Race</a>
</li>
<li>
<a href="../unique_instance/unique_instance.html">Unique Instance
Names</a>
</li>
+ <li>
+ <a href="../boundedness/boundedness.html">Universal Boundedness</a>
+ </li>
</ul>
</li>
<li>
- <a href="../membership/membership.html">Drawing Membership</a>
+ <a href="../membership/membership.html">Find Flow</a>
</li>
<li>
<a href="../montecarlo/montecarlo.html">Monte Carlo Simulation</a>
</li>
<li>
- <a href="../transformers.html">Drawing Transformers</a>
- </li>
- <li>
+ Drawing Transformers
<ul>
+
<li>
<a href="../beautify/beautify.html">Beautify</a>
</li>
<li>
<a href="../time_tighten/time_tighten.html">Tighten Time</a>
</li>
+ <li>
+ Repaint
+ </li>
</ul>
</li>
</ul>
Deleted: trunk/doc/help/algorithms.html
===================================================================
--- trunk/doc/help/algorithms.html 2010-09-20 14:50:33 UTC (rev 979)
+++ trunk/doc/help/algorithms.html 2010-09-20 15:36:50 UTC (rev 980)
@@ -1,110 +0,0 @@
-<?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" >
-
-<html xmlns="http://www.w3.org/1999/xhtml">
- <head>
- <title>all</title>
- <link href="help.css" rel="stylesheet" type="text/css" />
- </head>
- <body>
- <h1>
- Algorithms
- </h1>
- The following verification algorithms are supported:
- <ul>
- <li>
- <a href="acyclic/acyclic.html">Acyclic property</a>
- </li>
- <li>
- <a href="boundedness/boundedness.html">Universal Boundedness</a>
- </li>
- <li>
- <a href="deadlock/deadlock.html">Deadlock</a>
- </li>
- <li>
- <a href="fifo/fifo.html">FIFO</a>
- </li>
- <li>
- <a href="livelock/livelock.html">Livelock</a>
- </li>
- <li>
- <a href="localchoice/localchoice.html">Nonlocal Choice</a>
- </li>
- <li>
- <a href="membership/membership.html">Membership</a>
- </li>
- <li>
- <a href="race/race.html">Race Condition</a>
- </li>
- <li>
- <a href="realizability/realizability.html">Strong Realizability</a>
- </li>
- <li>
- <a href="recursivity/recursivity.html">Non-recursivity</a>
- </li>
- <li>
- <a href="time_consistency/time_consistency.html">Time Consistency</a>
- </li>
- <li>
- <a href="time_syntax/time_syntax.html">Correct Time Constraint Syntax</a>
- </li>
- <li>
- <a href="time_trace_race/time_race.html">Time Race</a>
- </li>
- <li>
- <a href="unique_instance/unique_instance.html">Unique instance names</a>
- </li>
- </ul>
- <h1>
- Transformers
- </h1>
- <ul>
- <li>
- <a href="beautify/beautify.html">Beautify</a>
- </li>
- <li>
- <a href="time_tighten/time_tighten.html">Tighten Time</a>
- </li>
- </ul>
- <h1>
- Frontend
- </h1>
- <p>
- Currently, the SCStudio frontend is accessible as a Microsoft Visio addon.
- Thus, Microsoft Visio 2003 or 2007 must be installed prior to installing
- SCStudio.
- </p>
- <p>
- When an MSC document is opened, the Sequence Chart Studio toolbar and menu
- Check are available:
- </p>
- <img class="big" src="frontend/pictures/frontend.png"
- alt="SCStudio toolbar and menu in MS Visio" />
- <p>
- SCStudio functions extending Visio are divided into the following
- categories:
- </p>
- <ul>
- <li>
- <a href="frontend/automatic-drawing.html">Automatic drawing</a>
- </li>
- <li>
- <a href="frontend/message-numbering.html">Message numbering</a>
- </li>
- <li>
- <a href="frontend/message-snapping.html">Message snapping</a>
- </li>
- <li>
- <a href="frontend/shape-selection.html">Shape selection</a>
- </li>
- </ul>
- <p>
- Many SCStudio functions define their own keyboard accelerators. See the <a
- href="frontend/shortcuts.html">keyboard accelerators</a> section to
- list all of them.
- </p>
- </body>
-</html>
Deleted: trunk/doc/help/frontend.html
===================================================================
--- trunk/doc/help/frontend.html 2010-09-20 14:50:33 UTC (rev 979)
+++ trunk/doc/help/frontend.html 2010-09-20 15:36:50 UTC (rev 980)
@@ -1,56 +0,0 @@
-<?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" >
-
-<html xmlns="http://www.w3.org/1999/xhtml">
- <head>
- <title>
- SCStudio frontend
- </title>
- <link href="help.css" rel="stylesheet" type="text/css" />
- </head>
- <body>
- <h1>
- Frontend
- </h1>
- <p>
- Currently, the SCStudio frontend is accessible as a Microsoft Visio addon.
- Thus, Microsoft Visio 2003 or 2007 must be installed prior to installing
- SCStudio.
- </p>
- <p>
- When an MSC document is opened, the Sequence Chart Studio toolbar and menu
- Check are available:
- </p>
- <img class="big" src="frontend/pictures/frontend.png"
- alt="SCStudio toolbar and menu in MS Visio" />
- <p>
- SCStudio functions extending Visio are divided into the following
- categories:
- </p>
- <ul>
- <li>
- <a href="frontend/shape_selection.html">Shape selection</a>
- </li>
- <li>
- <a href="frontend/automatic_drawing.html">Automatic drawing</a>
- </li>
- <li>
- <a href="frontend/message_numbering.html">Message numbering</a>
- </li>
- <li>
- <a href="frontend/flip_message_direction.html">Flip message direction</a>
- </li>
- <li>
- <a href="frontend/settings.html">Drawing settings</a>
- </li>
- </ul>
- <p>
- Many SCStudio functions define their own keyboard accelerators. See the <a
- href="frontend/shortcuts.html">Keyboard accelerators</a> section to
- list all of them.
- </p>
- </body>
-</html>
Modified: trunk/doc/help/help.css
===================================================================
--- trunk/doc/help/help.css 2010-09-20 14:50:33 UTC (rev 979)
+++ trunk/doc/help/help.css 2010-09-20 15:36:50 UTC (rev 980)
@@ -52,7 +52,7 @@
ul.gallery ul { padding:20px; margin:20px; border:1px #B4B4B4 solid;}
-.menu { float: left; width: 250px; border: 1px solid #b4b4b4; padding: 4px; position: relative; font-size: 12px; margin-right: 700px}
+.menu { float: left; width: 250px; border: 1px solid #b4b4b4; padding: 4px; position: relative; font-size: 12px;margin: 5px; margin-right: 700px; font-weight: bold; }
.menu h1 { text-align: center; margin-bottom: 30px; }
.footer {text-align: center; margin-top: 45px; font-size: 10px; line-height: 5px; }
.content { float: right; position: absolute; margin-left: 300px; max-width: 800px; }
Modified: trunk/doc/help/index.html
===================================================================
--- trunk/doc/help/index.html 2010-09-20 14:50:33 UTC (rev 979)
+++ trunk/doc/help/index.html 2010-09-20 15:36:50 UTC (rev 980)
@@ -17,7 +17,7 @@
</h1>
<ul>
<li>
- <a href="frontend.html">Microsoft Visio Front-end</a>
+ Microsoft Visio Front-end
<ul>
<li>
<a href="frontend/shape_selection.html">Shape Selection</a>
@@ -37,7 +37,7 @@
</ul>
</li>
<li>
- <a href="algorithms.html">Verification Algoritms</a>
+ Verification Algoritms
<ul>
<li>
<a href="acyclic/acyclic.html">Acyclic property</a>
@@ -89,9 +89,7 @@
<a href="montecarlo/montecarlo.html">Monte Carlo Simulation</a>
</li>
<li>
- <a href="transformers.html">Drawing Transformers</a>
- </li>
- <li>
+ Drawing Transformers
<ul>
<li>
<a href="beautify/beautify.html">Beautify</a>
Deleted: trunk/doc/help/transformers.html
===================================================================
--- trunk/doc/help/transformers.html 2010-09-20 14:50:33 UTC (rev 979)
+++ trunk/doc/help/transformers.html 2010-09-20 15:36:50 UTC (rev 980)
@@ -1,27 +0,0 @@
-<?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" >
-
-<html xmlns="http://www.w3.org/1999/xhtml">
- <head>
- <link href="help.css" rel="stylesheet" type="text/css" />
- <title>
- Transformers
- </title>
- </head>
- <body>
- <h1>
- Drawing Transformers
- </h1>
- <ul>
- <li>
- <a href="beautify/beautify.html">Beautify</a>
- </li>
- <li>
- <a href="time_tighten/time_tighten.html">Tighten Time</a>
- </li>
- </ul>
- </body>
-</html>
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
