Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Modified some links.
authorberghofe
Tue, 30 Sep 1997 12:49:16 +0200
changeset 3746 e832a36121ab
parent 3745 4c5d3b1ddc75
child 3747 cd9b6c86926c
Modified some links.
lib/html/index1.html file | annotate | diff | comparison | revisions
lib/html/index2.html file | annotate | diff | comparison | revisions 
--- a/lib/html/index1.html	Tue Sep 30 11:03:55 1997 +0200
+++ b/lib/html/index1.html	Tue Sep 30 12:49:16 1997 +0200
@@ -1,12 +1,12 @@
 <HTML><HEAD><TITLE>Isabelle Logics</TITLE></HEAD>
 <center>
  <H2>
- <img src="../gif/Isabelle.gif"><P>
+ <img src="gif/Isabelle.gif"><P>
  <i>The Logical Choice!</i>
  </H2>
 </center>
 <P>
-<A HREF="../graph/index.html">View version for Java-capable browsers</A>
+<A HREF="graph/index.html">View version for Java-capable browsers</A>
 <P>
 Click on the logic's name to view a list of its theories.
 <HR>
--- a/lib/html/index2.html	Tue Sep 30 11:03:55 1997 +0200
+++ b/lib/html/index2.html	Tue Sep 30 12:49:16 1997 +0200
@@ -12,26 +12,26 @@
 <HR>
 First-Order Logic
   <UL>
-  <LI><A HREF = "data/FOL/all_theories.html">FOL</A>
-  <LI><A HREF = "data/ZF/all_theories.html">ZF (Set Theory)</A>
-  <LI><A HREF = "data/CCL/all_theories.html">CCL (Classical Computational Logic)</A>
-  <LI><A HREF = "data/LCF/all_theories.html">LCF (Logic of Computable Functions)</A>
-  <LI><A HREF = "data/FOLP/all_theories.html">FOLP (FOL with Proof Terms)</A>
+  <LI><A HREF = "data/FOL/large.html">FOL</A>
+  <LI><A HREF = "data/ZF/large.html">ZF (Set Theory)</A>
+  <LI><A HREF = "data/CCL/large.html">CCL (Classical Computational Logic)</A>
+  <LI><A HREF = "data/LCF/large.html">LCF (Logic of Computable Functions)</A>
+  <LI><A HREF = "data/FOLP/large.html">FOLP (FOL with Proof Terms)</A>
   </UL>
 <HR>
 Higher-Order Logic
   <UL>
-  <LI><A HREF = "data/HOL/all_theories.html">HOL</A>
-  <LI><A HREF = "data/HOLCF/all_theories.html">HOLCF 
+  <LI><A HREF = "data/HOL/large.html">HOL</A>
+  <LI><A HREF = "data/HOLCF/large.html">HOLCF 
 		   (Higher-Order Logic of Computable Functions)</A>
   </UL>
 <HR>
 Miscellaneous
   <UL>
-  <LI><A HREF = "data/Sequents/all_theories.html">Sequents 
+  <LI><A HREF = "data/Sequents/large.html">Sequents 
 	  (first-order, modal and linear logics)</A>
-  <LI><A HREF = "data/CTT/all_theories.html">CTT (Constructive Type Theory)</A>
-  <LI><A HREF = "data/Cube/all_theories.html">Cube (The Lambda Cube)</A>
+  <LI><A HREF = "data/CTT/large.html">CTT (Constructive Type Theory)</A>
+  <LI><A HREF = "data/Cube/large.html">Cube (The Lambda Cube)</A>
   </UL>
 <HR>
 </BODY></HTML>
isabelle