git.iko.soy/Idris-dev
on master help sign in
Modified REPL banner statement.
commit0793e4773aa7f8e14601749e473bfeff3e89e794 authorJan de Muijnck-Hughes <jfdm@st-andrews.ac.uk> dateMon 2 Jun 2014, 18:49 (12 years ago) parentfdb79e6
1 file changed+2−2
compare with master
unifiedsplit
src/Idris/REPL.hs+2−2
src/Idris/REPL.hs+2−2
@@ -1397,9 +1397,9 @@ banner = " ____ __ _ \n" ++
13971397 " / _/___/ /____(_)____ \n" ++
13981398 " / // __ / ___/ / ___/ Version " ++ ver ++ "\n" ++
13991399 " _/ // /_/ / / / (__ ) http://www.idris-lang.org/ \n" ++
1400− " /___/\\__,_/_/ /_/____/ Type :? for help \n" ++
1400+ " /___/\\__,_/_/ /_/____/ Type :? for help \n" ++
14011401 "\n" ++
1402− "Idris is a research tool distributed with ABSOLUTELY NO WARRANTY.\n" ++
1402+ "Idris is free software with ABSOLUTELY NO WARRANTY. \n" ++
14031403 "For details type :warranty."
14041404
14051405warranty = "\n" ++