Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /smlnj-lib/trunk/Doc/Config.cfg
ViewVC logotype

Diff of /smlnj-lib/trunk/Doc/Config.cfg

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 2537, Thu May 10 21:39:31 2007 UTC revision 2538, Thu May 10 21:39:48 2007 UTC
# Line 7  Line 7 
7    
8    
9  Catalog         "CATALOG"  Catalog         "CATALOG"
10  MasterInfoFile  "Info/Master.info"  # MasterInfoFile        "Info/Master.info"
11    
12  SML-Basis-Doc   {  SML-Basis-Doc   {
13  #       InfoFile        "/home/sml/Doc/Basis/Info/Master.info"  #       InfoFile        "/home/sml/Doc/Basis/Info/Master.info"
14          InfoFile        "/home/jhr/SGML/ML-Doc/Basis/Info/Master.info"          InfoFile        "BasisInfo/HTML.info"
15          BaseURL         "standardml.org/Basis/"          BaseURL         "standardml.org/Basis/"
16          RootURL         "standardml.org/Basis/index.html"          RootURL         "standardml.org/Basis/index.html"
17  }  }

Legend:
Removed from v.2537  
changed lines
  Added in v.2538

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0