[/] [trunk/] [src/] [config/] [sources.cm] - Diff 11 ⟶ 16

Diff between revs 11 and 16
Rev 11 Rev 16
Line 1... Line 1...
 
(* $Id: sources.cm 16 2007-11-05 23:07:19Z tbourke $ *)
Group
Group
    signature CONFIG_TREE
    signature CONFIG_TREE
    structure ConfigTree
    structure ConfigTree
is
is
    config.lex
    config.lex
    config.lex
    config.lex