[pypy-svn] r17938 - pypy/dist/pypy/doc

arigo at codespeak.net arigo at codespeak.net
Wed Sep 28 12:19:47 CEST 2005


Author: arigo
Date: Wed Sep 28 12:19:44 2005
New Revision: 17938

Modified:
   pypy/dist/pypy/doc/draft-dynamic-language-translation.txt
Log:
Fix links.


Modified: pypy/dist/pypy/doc/draft-dynamic-language-translation.txt
==============================================================================
--- pypy/dist/pypy/doc/draft-dynamic-language-translation.txt	(original)
+++ pypy/dist/pypy/doc/draft-dynamic-language-translation.txt	Wed Sep 28 12:19:44 2005
@@ -641,8 +641,8 @@
 ~~~~~~~~~~~~~~~~
 
 As in the `formal definition`_ of Abstract Interpretation, the model for
-our annotation forms a *lattice_*, although we only use its structure of
-*`join-semilattice`_*.
+our annotation forms a lattice_, although we only use its structure of
+`join-semilattice`_.
 
 The set *A* of annotations is defined as the following formal terms:
 
@@ -994,7 +994,7 @@
 .. _`abstract interpretation`: theory.html#abstract-interpretation
 .. _`formal definition`: http://en.wikipedia.org/wiki/Abstract_interpretation
 .. _lattice: http://en.wikipedia.org/wiki/Lattice_%28order%29
-.. _`join-semilattice`: http://en.wikipedia.org/wiki/Lattice_%28order%29
+.. _`join-semilattice`: http://en.wikipedia.org/wiki/Semilattice
 .. _`Flow Object Space`: objspace.html#the-flow-object-space
 .. _`Standard Object Space`: objspace.html#the-standard-object-space
 .. _Psyco: http://psyco.sourceforge.net/



More information about the Pypy-commit mailing list