SourceForge: afp/afp: changeset 1061:e41ea1f8b2ca
Valuation does not have a proof document.
authorlsf37@users.sourceforge.net
Thu Nov 05 09:24:37 2009 +1100 (7 weeks ago)
changeset 1061e41ea1f8b2ca
parent 1060 c6278e3d9351
child 1062 1e535510306c
child 1087 b5f249ab4c3c
Valuation does not have a proof document.
web/entries/Valuation.shtml
     1.1 --- a/web/entries/Valuation.shtml	Thu Nov 05 08:58:34 2009 +1100
     1.2 +++ b/web/entries/Valuation.shtml	Thu Nov 05 09:24:37 2009 +1100
     1.3 @@ -86,9 +86,7 @@
     1.4    <tbody>
     1.5      <tr>
     1.6    <td class="links">
     1.7 -	<a href="<!--#echo var="outline" -->">Proof
     1.8 -outline</a><br>
     1.9 -	<a href="<!--#echo var="doc" -->">Proof document</a>
    1.10 +	[No proof document]
    1.11    </td>
    1.12  	<!-- link to README.hmtl if no document exists
    1.13  -->