2092eedMerge pull request #1466 from edwinb/masterEdwin Brady12 years ago 4c46b0eFix warning in io003 on clangEdwin Brady12 years ago 86bf04cTruncate results in primitives002 testEdwin Brady12 years ago 3a561b2Don't update after '?' when case splittingEdwin Brady12 years ago ddced5cStore parameters in function typesEdwin Brady12 years ago 783ddc3Invoke external code generatorEdwin Brady12 years ago 44b38a6Fix implicits bugEdwin Brady12 years ago c6574b4Added idris-c executableEdwin Brady12 years ago 93f407dUse strings for code generatorsEdwin Brady12 years ago 3d1a728Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady12 years ago 788f800Record import paths in ibcEdwin Brady12 years ago 2a80b7cMerge pull request #1462 from jfdm/docs/manDavid Christiansen12 years ago 8d9f0aeMerge pull request #1428 from trillioneyes/repl-definitionsDavid Christiansen12 years ago 42c694cMore efficiency improvementsEdwin Brady12 years ago 9b1d900Added nominal man-page.Jan de Muijnck-Hughes12 years ago c79fb21Only undefine things once, even if they're referenced multiple timesAlyssa Carter12 years ago 10a5bd6Tidy up the IState when classes are undefinedAlyssa Carter12 years ago a37fc8aAdding a prettyprinted message for undefining namesAlyssa Carter12 years ago ecea9adMerge branch 'master' into repl-definitionsAlyssa Carter12 years ago 02f7c64Merge pull request #1461 from david-christiansen/issue/1460David Christiansen12 years ago 95e1d27Merge pull request #1459 from david-christiansen/issue/1458David Christiansen12 years ago 86b60b2Take .lidr syntax into account with :addmissingDavid Raymond Christiansen12 years ago 8e94d31Merge pull request #1427 from david-christiansen/issue/1318David Christiansen12 years ago 946c0daMerge pull request #1457 from david-christiansen/issue/1442David Christiansen12 years ago 1267d64Strip ANSI codes from parser errors in IDEDavid Raymond Christiansen12 years ago 40d07c4Merge remote-tracking branch 'refs/remotes/upstream/master' into issue/1318David Raymond Christiansen12 years ago 4fde861Add a Travis target for make lib_docDavid Raymond Christiansen12 years ago d947282Merge pull request #1452 from hannesm/ideslave-socketDavid Christiansen12 years ago 159a99cMerge pull request #5 from david-christiansen/ideslave-socketHannes Mehnert12 years ago f7bd9f5Make --client use the correct handlesDavid Raymond Christiansen12 years ago fa6652aMerge pull request #4 from david-christiansen/ideslave-socketHannes Mehnert12 years ago 705dbe1Stop encoding prover messages as outputDavid Raymond Christiansen12 years ago a34dbcfMerge pull request #3 from david-christiansen/ideslave-socketHannes Mehnert12 years ago 02e8f8cSend prover errors back with spans instead of ANSIDavid Raymond Christiansen12 years ago 2418336Save some allocations in updateSolvedEdwin Brady12 years ago d6057b5Search subterm for goal firstEdwin Brady12 years ago bc3a9bfMerge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady12 years ago ab36099Use a zipper-like proof stateEdwin Brady12 years ago faf1d39No need to check whether something referencing a repl name is repl-definedAlyssa Carter12 years ago ad184a9Changed :undefine to undefine the transitive closure of reachable namesAlyssa Carter12 years ago 3762fadAdded :let and :undefine to the repl helpAlyssa Carter12 years ago ef36111Merge branch 'master' into repl-definitionsAlyssa Carter12 years ago f0eb9a9Removing an obsolete caseAlyssa Carter12 years ago a114693Instance declarations are working now.Alyssa Carter12 years ago 4d33a16Fixity declarations work in the repl now.Alyssa Carter12 years ago ad81ad3Use a slightly different pretty printer for PDeclsAlyssa Carter12 years ago 0337afeMake proof arguments to list functions implicitDavid Raymond Christiansen12 years ago 008bf72Adding Alyssa Carter to CONTRIBUTORSAlyssa Carter12 years ago 8a48c26Merge branch 'master' into repl-definitionsAlyssa Carter12 years ago 92abe64REPL class definitions should now be marked as repl-definedAlyssa Carter12 years ago