Madiel de Souza Conserva Filho / ZB2SMT

Blame view

ZB2SMT/zb2smtsite/download.html 4.35 KB
edit raw normal view history
22e44bf4e   Madiel de Souza Conserva Filho   first 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
 
  <?xml version="1.0"?>
  <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
  <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="cs" lang="cs"><!-- InstanceBegin template="/Templates/template.dwt" codeOutsideHTMLIsLocked="false" -->
  <head>
      <meta http-equiv="content-type" content="text/html; charset=utf-8" />
      <meta http-equiv="content-language" content="cs" />
      <meta name="robots" content="all,follow" />
  
      <meta name="author" content="All: ... [Nazev webu - www.url.cz]; e-mail: info@url.cz" />
      <meta name="copyright" content="Design/Code: Vit Dlouhy [Nuvio - www.nuvio.cz]; e-mail: vit.dlouhy@nuvio.cz" />
      <!-- InstanceBeginEditable name="doctitle" -->
      <title>Download</title>
      <!-- InstanceEndEditable -->
      <meta name="description" content="..." />
      <meta name="keywords" content="..." />
      
      <link rel="index" href="../." title="Home" />
      <link rel="stylesheet" media="screen,projection" type="text/css" href="css/main.css" />
      <link rel="stylesheet" media="print" type="text/css" href="css/print.css" />
      <link rel="stylesheet" media="aural" type="text/css" href="css/aural.css" />
      <!-- InstanceBeginEditable name="head" --><!-- InstanceEndEditable -->
  </head>
  
  <body id="www-url-cz">
  
  <!-- Main -->
  <div id="main" class="box">
  
      <!-- Header -->
      <div id="header">
  
          <!-- Logotyp -->
          <h1 id="logo" title="Integrating Z and B tools with SMT-solvers">ZB2SMT</h1>
          <hr class="noscreen" />          
  
      </div> <!-- /header -->
  
       <!-- Main menu (tabs) -->
       <div id="tabs" class="noprint">
              <h3 class="noscreen">Navigation</h3>
              <ul class="box">
                  <li  id="active"><a href="index.html">Home<span class="tab-l"></span><span class="tab-r"></span></a></li>
                  <li><a href="download.html">Download<span class="tab-l"></span><span class="tab-r"></span></a></li>
                  <li><a href="doc.html">Documentation<span class="tab-l"></span><span class="tab-r"></span></a></li>
                  <li><a href="people.html">People<span class="tab-l"></span><span class="tab-r"></span></a></li>
                  <li><a href="support.html">Support<span class="tab-l"></span><span class="tab-r"></span></a></li>
                  <li><a href="links.html">Related Links<span class="tab-l"></span><span class="tab-r"></span></a></li>
              </ul>
  
          <hr class="noscreen" />
       </div> <!-- /tabs -->
  
      <!-- Page (2 columns) -->
      <div id="page" class="box">
      <div id="page-in" class="box">
  
   
  
          <!-- Content -->
          <!-- InstanceBeginEditable name="content" -->
          <div id="content">
            <!-- Article -->
            <div class="article">
              <h2><span>Download</span></h2>
              <ul>
  				<li> zb2smt version 1.0 - <a href="data/zb2smtv1.0.zip" style="color:#0099FF">Download</a></li>
  			</ul>
  			
  			<a style="text-align:center;color:#0099FF"> ChangeLog</a>
              
            </div>
            <!-- /article -->
            <hr class="noscreen" />
            <hr class="noscreen" />
          </div>
          <!-- /content -->
          <!-- InstanceEndEditable -->
          <!-- Right column -->
          <div id="col" class="noprint">
              <div id="col-in">
          <!-- Links -->
                  <h3><span>Links</span></h3>
  
  
  				<p> <a href="http://sites.google.com/site/forallufrn/"> <img src="figures/ufrn.jpg" width="100" height="37"/> </a></p>
  				
  				<p> <a href="http://www.dimap.ufrn.br/" > <img src="figures/logo_dimap.gif" width="100" height="37" /> </a> </p>
  				
  				<p> <a href="http://www.ccet.ufrn.br/prh22/frame.htm"> <img src="figures/simb_PRH2.gif" width="100" height="37" /> </a> </p>
  				
  
                  <hr class="noscreen" />
              
              </div> <!-- /col-in -->
          </div> <!-- /col -->
  
      </div> <!-- /page-in -->
      </div> <!-- /page -->
  
      <!-- Footer -->
      <div id="footer">
          
          <hr class="noscreen" />
          
          <p id="createdby">created by <a href="http://www.nuvio.cz">Nuvio | Webdesign</a> <!-- DON´T REMOVE, PLEASE! --></p>
          <p id="copyright">&copy; 2010 <a href="mailto:alessandrogurgel@gmail.com">Alessandro Gurgel</a></p>
      </div> <!-- /footer -->
  
  </div> <!-- /main -->
  
  </body>
  <!-- InstanceEnd --></html>