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 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 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 0cdef7fUpdate for totality warningsDavid Raymond Christiansen12 years ago a6caf2dShow more errorsDavid Raymond Christiansen12 years ago 7143962Make totality a warning until compilingDavid Raymond Christiansen12 years ago 29cd870Merge pull request #1203 from david-christiansen/ideslave-printingDavid Christiansen12 years ago 89a975eImprove ideslave highlighting of primitivesDavid Raymond Christiansen12 years ago 30ee9adFuture-proof the TC' monadniklas12 years ago 4856076Merge pull request #1199 from david-christiansen/masterDavid Christiansen12 years ago bddcb56Merge pull request #1197 from david-christiansen/travisdocDavid Christiansen12 years ago 78431f7Add useful property to Prelude.Vect: xs ++ [] = xsDavid Raymond Christiansen12 years ago 3ef9556Merge pull request #1198 from raichoo/javascriptraichoo12 years ago a68c5fajavascript: fix elimination of conditions #1192raichoo12 years ago fc0c55cDon't compile before building docs in TravisDavid Raymond Christiansen12 years ago e2c4148Make Travis build HaddockDavid Raymond Christiansen12 years ago a309d3cMerge pull request #1196 from david-christiansen/dosEdwin Brady12 years ago ed0f118Merge pull request #1195 from ziman/set-warnreachEdwin Brady12 years ago 904cdd8Fix Haddock build problemsDavid Raymond Christiansen12 years ago 10509f6Add support for :set warnreach.Matus Tejiscak12 years ago 992e753Run usage analysis after every :r.Matus Tejiscak12 years ago 67517aaMerge pull request #1189 from david-christiansen/apropos-improvementsDavid Christiansen12 years ago 92d7b51Fix boolElim optimisationEdwin Brady12 years ago ae0d8b9Document :apropos updates in CHANGELOGDavid Raymond Christiansen12 years ago c8d8a5a:apropos syntax for bindersDavid Raymond Christiansen12 years ago