git.iko.soy/Idris-dev
on f151dee help sign in
history ofsrc/Util/System.hs
all commits
a567873Proper executable and object file creation via maven + need for run_java tests removedJan Bessai a41e971Fix Util.System so that it compiles again...Edwin Brady fd5cddbMore platform agnostic nowChetan T 1d0c6aaFixing compilation in Mingw32Chetan T 1e52324Added simple library packaging system Now used for the prelude (see lib/base.ipkg)Edwin Brady c02a58cAdded fork (but not working properly yet)Edwin Brady 2533b8dAdd missing fileEdwin Brady