1
0
forked from GitHub/gf-rgl

Structural.you*; reorganized scand

This commit is contained in:
aarne
2006-01-24 14:30:36 +00:00
parent 1618f2d203
commit 604bb735e5
35 changed files with 114 additions and 572 deletions

View File

@@ -1,5 +1,5 @@
incomplete concrete CatScand of Cat =
open ResScand, Prelude, DiffScand, (R = ParamX) in {
open ResScand, Prelude, CommonScand, (R = ParamX) in {
flags optimize=all_subs ;