[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