547fa6eMerge pull request #1302 from ahmadsalim/feature/casetacticEdwin Brady12 years ago 4b9f4b9Correct a docMelvar Chen12 years ago 631eaaaReplace use of findElem with search tacticMelvar Chen12 years ago 4833cb3Merge branch 'master' of https://github.com/idris-lang/Idris-dev into feature/casetacticAhmad Salim Al-Sibahi12 years ago 53417ddFix Show for HVectsMelvar Chen12 years ago acbd01asplitOn and replaceOn for ListHeather12 years ago b6aa58aMerge pull request #1303 from david-christiansen/dsl-piDavid Christiansen12 years ago 9993f3bAdd pi to overridable syntax in DSL blocksDavid Raymond Christiansen12 years ago 590140aMerge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady12 years ago 3ac9e7dUpdate version for bugfix releasev0.9.13.1Edwin Brady12 years ago 504038dMerge pull request #1300 from stepcut/masterEdwin Brady12 years ago 13a6bf4Merge pull request #1299 from Heather/isInfixOf_for_ListEdwin Brady12 years ago 2b183c8Merge pull request #1294 from JanBessai/JavaBackendFixesEdwin Brady12 years ago 9815da8Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady12 years ago 42dcbc3Deal with 'Delay' in case building properlyEdwin Brady12 years ago e91819cFinal cleanup/check of case tactic implementationAhmad Salim Al-Sibahi12 years ago 5045daeAdded tactic for case analysis. Also, induction now work on expressions instead of simply names.Ahmad Salim Al-Sibahi12 years ago a0b05e2Allow induction on terms instead of simply namesAhmad Salim Al-Sibahi12 years ago 17ecdefisInfixOf for ListHeather12 years ago 31b2346Merge https://github.com/idris-lang/Idris-devstepcut12 years ago 2f93ad9Merge pull request #1298 from david-christiansen/ide-proverDavid Christiansen12 years ago 7623850IDESlave protocol fixes in case of errorDavid Raymond Christiansen12 years ago 2494a8aReorder code to make it more readableDavid Raymond Christiansen12 years ago a7d3eb9Merge pull request #1297 from david-christiansen/ide-proverDavid Christiansen12 years ago 387b738Remove unnecessary partialityDavid Raymond Christiansen12 years ago 5700be7Merge pull request #1296 from david-christiansen/ide-proverDavid Christiansen12 years ago 6d0abfbCorrect IDESlave protocol violations in proverDavid Raymond Christiansen12 years ago 5cad34bMerge branch 'master' into JavaBackendFixesJan Bessai12 years ago 6a3aac2Added myself to contributorsJan Bessai12 years ago 0175093Java rts version update to 0.9.14Jan Bessai12 years ago 71fae28fix missing testsJan Bessai12 years ago 6f912c8buffers doneJan Bessai12 years ago db92986Merge pull request #1290 from Melvar/fix-optparse-boundEdwin Brady12 years ago f68b4c0Merge pull request #1285 from Heather/masterEdwin Brady12 years ago fca147bSystemInfo primitive added to Java BackendJan Bessai12 years ago 4aadf4cMerge branch 'master' into JavaBackendFixesJan Bessai12 years ago dbb9e0cUpdate optparse-applicative bound to match used featuresMelvar Chen12 years ago 9edaf2eMore documentation for runnning effects.Jan de Muijnck-Hughes12 years ago f178bbefoldl1 implementationHeather12 years ago e97f0e2Updated idrislang.sty to ensure singlespacing code blocksJan de Muijnck-Hughes12 years ago baaea97Merge pull request #1288 from david-christiansen/issue/1286David Christiansen12 years ago 9c59a19Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady12 years ago 921b766Fix name propagation in error messagesEdwin Brady12 years ago d6c5b2bAdd semantic highlighting for postulatesDavid Raymond Christiansen12 years ago 69aea8dMerge pull request #1287 from david-christiansen/postulate-providersDavid Christiansen12 years ago e5bc47eDistinguish postulate providers and type providers at use siteDavid Raymond Christiansen12 years ago 9593ae6Merge pull request #1284 from bmsherman/verifiedRingEdwin Brady12 years ago f1e36beMerge pull request #1273 from bmsherman/cantResolveAltsEdwin Brady12 years ago 11e4d57Fix definition of VerifiedRingbmsherman12 years ago 21124c3Merge remote-tracking branch 'upstream/master' into cantResolveAltsbmsherman12 years ago