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 6db171cCall mainFun even if window and document aren't definedJosh Vera12 years ago afbd8c6Add Enum instance for Fin.Greg Pfeil12 years ago c707c2dSome clean up.niklas12 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 70b6f8fFix List.splitAndrew Cann12 years ago 49d28a9Correct filtering for subclasses in pprintDocs for multiparameter subclassesPaul Koerbitz12 years ago 671719eCorrect filtering for subclasses in pprintDocs (fixes #1212)Paul Koerbitz12 years ago d9a96d1Move 'mkNo' to a whereEdwin Brady12 years ago 3825ad8Remove spurious error from 'setter' warningEdwin Brady12 years ago 59b9a4cAdd Data.List to baseEdwin Brady12 years ago 0c1bc8dPropagate bound implicits to record updatesEdwin Brady12 years ago 22143e4Fix if - operator precedence mistake, fixes #911Paul Koerbitz12 years ago dae7d7dMove interactive commands to their own moduleEdwin Brady12 years ago d471c7dMerge pull request #1216 from jeffersoncarpenter/blaze-markup-versionEdwin Brady12 years ago a5669f0Merge pull request #1215 from david-christiansen/totalityEdwin Brady12 years ago 8d07967Stop building packages if there are totality mismatchesDavid Raymond Christiansen12 years ago acf010bincremented blaze markup versionJefferson Carpenter12 years ago e1f7597Merge pull request #1204 from david-christiansen/totality-warningEdwin Brady12 years ago e415542Merge pull request #1210 from DanielWaterworth/vect_append_associativeDavid Christiansen12 years ago 09c8283Added a proof that (x ++ (y ++ z)) = ((x ++ y) ++ z) for VectsDaniel Waterworth12 years ago f979614Merge pull request #1208 from david-christiansen/primitive-docsDavid Christiansen12 years ago 5621005Merge pull request #1205 from david-christiansen/issue/1191David Christiansen12 years ago e16c068Documentation for primitivesDavid Raymond Christiansen12 years ago 755b5b3Remove stale .ibcsDavid Raymond Christiansen12 years ago 1e59cbdMerge pull request #1206 from paulkoerbitz/fix/1187-doc-no-constructorsDavid Christiansen12 years ago f1d8f86Make ':doc' say 'No constructors.' when a data type has no constructors.Paul Koerbitz12 years ago 86fff05Add totality warnings to CHANGELOGDavid Raymond Christiansen12 years ago aabd0a9Allow %name to take an infix name as an argument.David Raymond Christiansen12 years ago 45e0a6bMerge pull request #1200 from melted/tcDavid Christiansen12 years ago 7f9526cUpdate test for totality warningsDavid Raymond Christiansen12 years ago cd8a233Don't try to compile a test that doesn't have `main`David Raymond Christiansen12 years ago