blob: 007c517f0c9b3c4f110e25c21a639c172cedbe44 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
|
--- src/toolkit/tests+examples/sources.cm.orig Fri Mar 30 23:40:04 2001
+++ src/toolkit/tests+examples/sources.cm Sun Jan 13 17:50:07 2008
@@ -1,15 +1,29 @@
-Group is
+Group
+ structure WeeBoxes
+ structure FilerEx
+ structure MarkupEx
+ structure SimpleInstAppl
+ structure SimpleInst
+ structure StdMarkEx
+ structure TableEx
+ structure TabsEx
+ structure LittleTreeList
+ structure TSimpleInstAppl
+ structure UW_Ex
+is
+ ../sources.cm
-../sources.cm
+ uw_ex.sml
+ boxes.sml
+ simpleinst.sml
+ tsimpleinst.sml
+ (* filemanager.sml *)
+ markup_ex.sml
+ stdmark_ex.sml
+ tree_list_ex.sml
+ filer_ex.sml
+ table_ex.sml
+ tabs_ex.sml
+
+ $/basis.cm
-uw_ex.sml
-boxes.sml
-simpleinst.sml
-tsimpleinst.sml
-(* filemanager.sml *)
-markup_ex.sml
-stdmark_ex.sml
-tree_list_ex.sml
-filer_ex.sml
-table_ex.sml
-tabs_ex.sml
|
