From ea3f1f7736c57747e743a5106b917d2853c62f57 Mon Sep 17 00:00:00 2001 From: Jed Barber Date: Thu, 13 Sep 2012 02:14:04 +1000 Subject: Cleaner directory structure, addition of make clean, grouping of library modules into a single package --- WriteProofMain.hs | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'WriteProofMain.hs') diff --git a/WriteProofMain.hs b/WriteProofMain.hs index 0e8d9c6..2f8625e 100644 --- a/WriteProofMain.hs +++ b/WriteProofMain.hs @@ -1,8 +1,8 @@ import System.Environment( getArgs ) import Text.Printf -import Parse -import ProofGraph -import WriteProof +import Library.Parse +import Library.ProofGraph +import Library.WriteProof -- cgit