Commit 63592b20 authored by Michael Hanus's avatar Michael Hanus
Browse files

SLight change in output

parent 6e3e9bf6
......@@ -3,7 +3,7 @@
--- programs.
---
--- @author Michael Hanus
--- @version July 2016
--- @version September 2016
---------------------------------------------------------------------
module BrowserGUI where
......@@ -49,7 +49,7 @@ title :: String
title = "CurryBrowser"
version :: String
version = "Version of 29/07/2016"
version = "Version of 07/09/2016"
patchReadmeVersion :: IO ()
patchReadmeVersion = do
......@@ -72,9 +72,10 @@ main = do
start :: String -> IO ()
start modpath = do
initializeAnalysisSystem
putStrLn "Please be patient, reading all interfaces..."
putStr "Please be patient, reading all interfaces..."
helptxt <- readFile (browserDir++"/README")
mods <- getImportedInterfaces modpath
putStrLn "done"
let mainmod = progName (progOfIFFP (snd (head mods)))
trees = [Leaf mainmod
(mainmod,map (moduleImports . progOfIFFP . snd) mods)]
......
......@@ -12,7 +12,7 @@ they have no effect.
Developed by
Michael Hanus (CAU Kiel, Germany, mh@informatik.uni-kiel.de)
Version of 29/07/2016
Version of 07/09/2016
Software requirements:
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment