3 Commits

Author	SHA1	Message	Date
Markus Pfeiffer	e1e7b8cbff	Correct usage information	2014-01-26 13:13:55 +00:00
Jan de Muijnck-Hughes	fdbee50df3	Command line option improvements. ... + Added new flag `--checkpkg <package>` to type check only packages. + executables are not linked + Improved usage info styling + Added unmentioned flags added	2014-01-16 14:41:24 +00:00
Edwin Brady	ef32bc6fa8	Change idris.cabal so library only builds once ... Though this does mean an up to date cabal is needed!	2013-12-22 19:28:49 +00:00