fc949e8Add flag for CI-builds in cabal-fileNorbert Melzer12 years ago 0a1b72cMerge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady12 years ago cad3b02Eat less memory by sharing namesEdwin Brady12 years ago 79e77c6Make :apropos search for documented modules as wellDavid Raymond Christiansen12 years ago 177b96bRemove -Werror from all filesDavid Raymond Christiansen12 years ago 25c117aMerge pull request #1828 from RyanGlScott/masterDavid Christiansen12 years ago 8d65f38Merge pull request #1827 from david-christiansen/feature/moduledocsDavid Christiansen12 years ago 5088572Fix Curses craziness in test + missing test fileDavid Raymond Christiansen12 years ago 85cf83fAllow building with base-4.8.0.0RyanGlScott12 years ago 8fe8bb9Add module docs to CHANGELOGDavid Raymond Christiansen12 years ago 7b05e29Add docs for module UninhabitedDavid Raymond Christiansen12 years ago 6b803b7Allow documentation for modulesDavid Raymond Christiansen12 years ago c1cf03fMerge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady12 years ago 2ec25c2Do more forcing in IBCEdwin Brady12 years ago f401f73Merge pull request #1824 from bmsherman/completionDavid Christiansen12 years ago 2f0ec2eUse pre-existing function to list installed packages at command lineBen Sherman12 years ago a1af8e9Merge remote-tracking branch 'NobbZ/feature/package-list' into completionBen Sherman12 years ago effc954Add function to list installed packagesBen Sherman12 years ago 3f81406import slipped throughNorbert Melzer12 years ago d31f30fDefault to no REPL completion if not yet implementedBen Sherman12 years ago 7cef7eaprint every subdir of libdir as a packageNorbert Melzer12 years ago 72e03b6compiler (currently) should also use sse2 due rts changesHeather12 years ago 0a8e3e3Merge pull request #1820 from Heather/masterEdwin Brady12 years ago 76ad506Don't give up when compiling TypesEdwin Brady12 years ago f936366Merge pull request #1817 from bmsherman/replEdwin Brady12 years ago 1de1915Merge pull request #1816 from mattias-lundell/masterEdwin Brady12 years ago 7fedc76Extended parseFlagsNorbert Melzer12 years ago ec2b304Extended OptNorbert Melzer12 years ago 16d7ec0add msse2, fixes #1819Heather12 years ago 99be9f0Various cleanup of the REPL, mainly with parsing and completionBen Sherman12 years ago cacf435Keep track of file to be edited in REPLEdwin Brady12 years ago 7c34217Allow class constraints to be namedEdwin Brady12 years ago b6b8fd2Add gc copy for bit vectorsMattias Lundell12 years ago ee32989Search in current elaboration stack for instancesEdwin Brady12 years ago f409e11Fix typos in documentationBen Sherman12 years ago 3c475f4Improve REPL completion and DRY in parsing/completionBen Sherman12 years ago e57170dNeed to separate flags when invoking gccEdwin Brady12 years ago 9b55e98Cleaning a package should remove idx file tooEdwin Brady12 years ago ed58a4bAdd missing test fileEdwin Brady12 years ago bb0162fCan't run effects003 on nodeEdwin Brady12 years ago 3874926Add Hangman example to testsEdwin Brady12 years ago 8628481refsIn should take all the PsEdwin Brady12 years ago 140cfe2Small changes and documentation update to :searchBen Sherman12 years ago d75ff02Update CHANGELOGEdwin Brady12 years ago df13cbcAdd missing case in needsBigInt in JS back endEdwin Brady12 years ago 6449edeAdd missing file(!)Edwin Brady12 years ago 43127b1Move Fin, Vect and So from prelude to baseEdwin Brady12 years ago 40ee5f3Update CHANGELOGEdwin Brady12 years ago c8c5b17Merge pull request #1813 from mattias-lundell/masterEdwin Brady12 years ago ab32c46Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady12 years ago