Changes between Version 2 and Version 3 of InterMapTxt


Ignore:
Timestamp:
Jul 24, 2008, 4:39:14 PM (16 years ago)
Author:
Graham Dutton
Comment:

moved pgwiki to match content

Legend:

Unmodified
Added
Removed
Modified

  • InterMapTxt

    v2 v3  
    6969
    7070# Proof General wiki for convenience
    71 PGWiki           http://proofgeneral.inf.ed.ac.uk/wiki/Main/
     71PGWikiMain       http://proofgeneral.inf.ed.ac.uk/wiki/Main/
     72PGWiki           http://proofgeneral.inf.ed.ac.uk/wiki/PG/
    7273}}}