222d593Merge branch 'debruijn-names' of https://github.com/ziman/idris into ziman-debruijn-namesEdwin Brady12 years ago c0f4475Remember names of deBruijn variables.Matus Tejiscak12 years ago 2d22462Check that proof steps introduce no new problemsEdwin Brady12 years ago 602552eAdd :loadto commandEdwin Brady12 years ago 094be98Add an optional depth to 'search' tacticEdwin Brady12 years ago bd566f8Merge pull request #1248 from melted/patch-2Edwin Brady12 years ago 34e492dRemove the windows header files from cabalNiklas Larsson12 years ago a4f1556Merge pull request #1240 from sellout/BoundedListEdwin Brady12 years ago ed85671Merge pull request #1237 from melted/rts_updateEdwin Brady12 years ago 5dd3302Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady12 years ago 8215c60Fix zero argument with clausesEdwin Brady12 years ago b138dd7Merge pull request #1246 from jfdm/fix/missing-cmd-optionsDavid Christiansen12 years ago ef45cdcMerge pull request #1247 from a3gis/patch-1David Christiansen12 years ago f9c6155Correct a typo in Prelude.idra3gis12 years ago 9acf2c4Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady12 years ago 990d96fUpdate CHANGELOG.Greg Pfeil12 years ago f08f83aFixed typo in CmdOptions to reinstate `--checkpkg`Jan de Muijnck-Hughes12 years ago 8b55229Merge pull request #1222 from klrr/split-binsDavid Christiansen12 years ago f67031eMerge pull request #1231 from melted/patch-1David Christiansen12 years ago eb13e68Merge pull request #1236 from sellout/buffersDavid Christiansen12 years ago 36be2f8Merge pull request #1238 from melted/cleanupDavid Christiansen12 years ago 1d71869Merge pull request #1239 from sellout/Fin-EnumDavid Christiansen12 years ago d90e30eMerge pull request #1241 from joshvera/main-jsraichoo12 years ago 2a9acf2Update evaluated variable after EVALEdwin Brady12 years ago 6db171cCall mainFun even if window and document aren't definedJosh Vera12 years ago e2668a5Reverse parameters to BoundedList.Greg Pfeil13 years ago be78a7fMove foldl into Foldable.Greg Pfeil13 years ago afbd8c6Add Enum instance for Fin.Greg Pfeil12 years ago c707c2dSome clean up.niklas12 years ago d16d418Update the windows RTS files and consolidate the headersniklas12 years ago 75d42a2Implement reductions for for Buffer primitives.Greg Pfeil12 years ago 829bd85Update idris.cabalNiklas Larsson12 years ago 9be5866started working on new cmd arg parserklrr12 years ago d581842Merge pull request #1228 from david-christiansen/ideslave-makelemmaDavid Christiansen12 years ago 659e985Add IDESlave support to :makelemmaDavid Raymond Christiansen12 years ago f53580aChange type class top level method generationEdwin Brady12 years ago a265279:makelemma now works on provisional definitionsEdwin Brady12 years ago a6d79abFix silly error in 'search'Edwin Brady12 years ago e23ebdaMerge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady12 years ago 719d472'search' now fails if there are metavariablesEdwin Brady12 years ago d3eb1b7Merge pull request #1221 from paulkoerbitz/fix/911-make-doc-show-superclassesEdwin Brady12 years ago 9274248Merge pull request #1220 from canndrew/masterEdwin Brady12 years ago 50f63b5Make sensible implicit choices in :addlemmaEdwin Brady12 years ago f02f3c0Check if class is meant to be empty...Edwin Brady12 years ago 2dabd3fUpdate CHANGELOGEdwin Brady12 years ago f8e6549:addclause now adds template bodies to instancesEdwin Brady12 years ago db88c3eTidy output of :makelemmaEdwin Brady12 years ago af99a9dAdd :makelemma command in interactive editingEdwin Brady12 years ago 0bb1294Add primitive for stdout, stderrEdwin Brady12 years ago a713659Merge current master into fix/911- branchPaul Koerbitz12 years ago