Compare Revisions

This comparison shows the changes necessary to convert path /trunk from Rev 16 to Rev 15 (Reverse comparison).
Path Comparison

Rev 16 ⟶ Rev 15

/src/mlyacc.ml
File deleted
/src/general.ml
File deleted
/src/urpal.ml
File deleted
/src/smlnj-lib.ml
File deleted
/src/fxlib.ml
File deleted
/src/graphviz/sources.ml
File deleted
/src/graphviz/sources.cm
1,4 ⟶ 1,3
(* $Id$ *)
Group
signature DOT
 
/src/graphviz/typeddot.sml
1,9 ⟶ 1,9
(* $Id$ *)
 
structure TypedDot : DOT = DotFn (
structure TypedDot = DotFn (
structure Id = struct open String; type t = string end
structure EdgeAtt = TypedAttributes.Edge
structure NodeAtt = TypedAttributes.Node
structure GraphAtt = TypedAttributes.Graph
)
) : DOT
 
/src/graphviz/sources.mlb
1,4 ⟶ 1,3
(* $Id$ *)
local
$(SML_LIB)/basis/basis.mlb
$(SML_LIB)/basis/sml-nj.mlb
/src/settings.sml
1,4 ⟶ 1,4
(* $Id$ *)
 
structure Settings :> SETTINGS = SettingsRW
structure Settings = SettingsRW :> SETTINGS
 
/src/xml/sources.ml
File deleted
/src/cmdlang/sources.ml
File deleted
/src/cmdlang/sources.cm
1,4 ⟶ 1,3
(* $Id$ *)
Group
signature CMD_LANG
structure CmdLang
/src/cmdlang/sources.mlb
1,4 ⟶ 1,3
(* $Id$ *)
local
../lib/sources.mlb
../parse/sources.mlb
/src/config/sources.ml
File deleted
/src/config/configtree.sml
1,9 ⟶ 1,9
(* $Id$ *)
 
structure ConfigTree :> CONFIG_TREE = ConfigTree (struct
structure ConfigTree = ConfigTree (struct
datatype lexresult = datatype ConfigLex.UserDeclarations.lexresult
val makeLexer = ConfigLex.makeLexer
val linenum = (fn ()=> !ConfigLex.UserDeclarations.linenum)
end
)
) :> CONFIG_TREE
 
/src/config/sources.cm
1,4 ⟶ 1,3
(* $Id$ *)
Group
signature CONFIG_TREE
structure ConfigTree
/src/config/sources.mlb
1,4 ⟶ 1,3
(* $Id$ *)
local
$(SML_LIB)/basis/basis.mlb
$(SML_LIB)/basis/sml-nj.mlb
/src/lib/sources.ml
File deleted
/src/lib/sources.cm
1,4 ⟶ 1,3
(* $Id$ *)
Group
signature SYMBOL
structure Symbol
/src/lib/sources.mlb
1,4 ⟶ 1,3
(* $Id$ *)
local
$(SML_LIB)/basis/basis.mlb
$(SML_LIB)/basis/sml-nj.mlb
/src/parse/sources.ml
File deleted
/src/parse/sources.cm
1,4 ⟶ 1,3
(* $Id$ *)
Group
structure UppaalParse
signature UPPAAL_PARSE
/src/maketest/sources.ml
File deleted
/src/maketest/sources.cm
1,4 ⟶ 1,3
(* $Id$ *)
Group
signature TRANSITION_FLIPPER
structure TransitionFlipper
/src/maketest/sources.mlb
1,4 ⟶ 1,3
(* $Id$ *)
local
$(SML_LIB)/basis/basis.mlb
$(SML_LIB)/basis/sml-nj.mlb