diff options
Diffstat (limited to 'dir_000020_000021.html')
| -rw-r--r-- | dir_000020_000021.html | 45 |
1 files changed, 13 insertions, 32 deletions
diff --git a/dir_000020_000021.html b/dir_000020_000021.html index 01b6fab..e772e3a 100644 --- a/dir_000020_000021.html +++ b/dir_000020_000021.html @@ -6,7 +6,7 @@ <!-- For Mobile Devices --> <meta name="viewport" content="width=device-width, initial-scale=1"> <meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/> - <meta name="generator" content="Doxygen 1.8.10"/> + <meta name="generator" content="Doxygen 1.8.13"/> <script type="text/javascript" src="https://code.jquery.com/jquery-2.1.1.min.js"></script> <title>uSCXML: transform -> promela Relation</title> <!--<link href="tabs.css" rel="stylesheet" type="text/css"/>--> @@ -14,9 +14,6 @@ <link href="search/search.css" rel="stylesheet" type="text/css"/> <script type="text/javascript" src="search/searchdata.js"></script> <script type="text/javascript" src="search/search.js"></script> -<script type="text/javascript"> - $(document).ready(function() { init_search(); }); -</script> <link href='https://fonts.googleapis.com/css?family=Roboto+Slab' rel='stylesheet' type='text/css'> <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/bootstrap/3.3.1/css/bootstrap.min.css"> <link href="doxygen.css" rel="stylesheet" type="text/css" /> @@ -38,35 +35,19 @@ <div class="row"> <div class="col-sm-12 panel " style="padding-bottom: 15px;"> <div style="margin-bottom: 15px;"> -<!-- end header part --><!-- Generated by Doxygen 1.8.10 --> +<!-- end header part --><!-- Generated by Doxygen 1.8.13 --> <script type="text/javascript"> var searchBox = new SearchBox("searchBox", "search",false,'Search'); </script> - <div id="navrow1" class="tabs"> - <ul class="tablist"> - <li><a href="index.html"><span>Main Page</span></a></li> - <li><a href="pages.html"><span>Related Pages</span></a></li> - <li><a href="modules.html"><span>Modules</span></a></li> - <li><a href="annotated.html"><span>Classes</span></a></li> - <li><a href="files.html"><span>Files</span></a></li> - <li> - <div id="MSearchBox" class="MSearchBoxInactive"> - <span class="left"> - <img id="MSearchSelect" src="search/mag_sel.png" - onmouseover="return searchBox.OnSearchSelectShow()" - onmouseout="return searchBox.OnSearchSelectHide()" - alt=""/> - <input type="text" id="MSearchField" value="Search" accesskey="S" - onfocus="searchBox.OnSearchFieldFocus(true)" - onblur="searchBox.OnSearchFieldFocus(false)" - onkeyup="searchBox.OnSearchFieldChange(event)"/> - </span><span class="right"> - <a id="MSearchClose" href="javascript:searchBox.CloseResultsWindow()"><img id="MSearchCloseImg" border="0" src="search/close.png" alt=""/></a> - </span> - </div> - </li> - </ul> - </div> +<script type="text/javascript" src="menudata.js"></script> +<script type="text/javascript" src="menu.js"></script> +<script type="text/javascript"> +$(function() { + initMenu('',true,false,'search.php','Search'); + $(document).ready(function() { init_search(); }); +}); +</script> +<div id="main-nav"></div> <!-- window showing the filter options --> <div id="MSearchSelectWindow" onmouseover="return searchBox.OnSearchSelectShow()" @@ -96,9 +77,9 @@ var searchBox = new SearchBox("searchBox", "search",false,'Search'); </div> </div> <!-- <hr class="footer"/><address class="footer"><small> -Generated on Mon Dec 12 2016 19:50:06 for uSCXML by  <a href="http://www.doxygen.org/index.html"> +Generated on Fri Apr 28 2017 13:25:54 for uSCXML by  <a href="http://www.doxygen.org/index.html"> <img class="footer" src="doxygen.png" alt="doxygen"/> -</a> 1.8.10 +</a> 1.8.13 </small></address> --> </body> </html> |