From b698d0f90cdfcfd563a249de9968e7016bd59797 Mon Sep 17 00:00:00 2001 From: krasimir Date: Thu, 19 Jun 2008 14:16:05 +0000 Subject: [PATCH] move the prelude sources to the prelude directory and add the resource library to cabal --- {src => prelude}/Coordination.gf | 0 {src => prelude}/Formal.gf | 0 {src => prelude}/HTML.gf | 0 {src => prelude}/Latex.gf | 0 {src => prelude}/Precedence.gf | 0 {src => prelude}/Predef.gf | 0 {src => prelude}/PredefAbs.gf | 0 {src => prelude}/PredefCnc.gf | 0 {src => prelude}/Prelude.gf | 0 9 files changed, 0 insertions(+), 0 deletions(-) rename {src => prelude}/Coordination.gf (100%) rename {src => prelude}/Formal.gf (100%) rename {src => prelude}/HTML.gf (100%) rename {src => prelude}/Latex.gf (100%) rename {src => prelude}/Precedence.gf (100%) rename {src => prelude}/Predef.gf (100%) rename {src => prelude}/PredefAbs.gf (100%) rename {src => prelude}/PredefCnc.gf (100%) rename {src => prelude}/Prelude.gf (100%) diff --git a/src/Coordination.gf b/prelude/Coordination.gf similarity index 100% rename from src/Coordination.gf rename to prelude/Coordination.gf diff --git a/src/Formal.gf b/prelude/Formal.gf similarity index 100% rename from src/Formal.gf rename to prelude/Formal.gf diff --git a/src/HTML.gf b/prelude/HTML.gf similarity index 100% rename from src/HTML.gf rename to prelude/HTML.gf diff --git a/src/Latex.gf b/prelude/Latex.gf similarity index 100% rename from src/Latex.gf rename to prelude/Latex.gf diff --git a/src/Precedence.gf b/prelude/Precedence.gf similarity index 100% rename from src/Precedence.gf rename to prelude/Precedence.gf diff --git a/src/Predef.gf b/prelude/Predef.gf similarity index 100% rename from src/Predef.gf rename to prelude/Predef.gf diff --git a/src/PredefAbs.gf b/prelude/PredefAbs.gf similarity index 100% rename from src/PredefAbs.gf rename to prelude/PredefAbs.gf diff --git a/src/PredefCnc.gf b/prelude/PredefCnc.gf similarity index 100% rename from src/PredefCnc.gf rename to prelude/PredefCnc.gf diff --git a/src/Prelude.gf b/prelude/Prelude.gf similarity index 100% rename from src/Prelude.gf rename to prelude/Prelude.gf