git.iko.soy/Idris-dev
on master help sign in
history of92af9ba..master
compare
60f0cb5Merge pull request #2543 from jfdm/record-docsJan de Muijnck-Hughes fea108aMerge pull request #2563 from jeremy-w/patch-2Jan de Muijnck-Hughes c4faa92Unescape '\' in list of non–user-definable symbolsJeremy W. Sherman dc5e42dMerge pull request #2561 from melted/ttyNiklas Larsson 1e80f1fNo newline after case in :makecaseEdwin Brady e86b0f6Check for TTY when setting colourNiklas Larsson 378bbd6Merge pull request #2560 from jeremy-w/patch-1David Christiansen 5b841fbFix typo in doc commentJeremy W. Sherman 102bd6bMerge pull request #2558 from david-christiansen/windows-colourDavid Christiansen dfba993Experimental support for console colours on WindowsDavid Raymond Christiansen 768ddb1Merge pull request #2557 from Heather/typoDavid Christiansen 50104a4typo: concatenatation -> concatenationHeather ed6441aUpdates and FixesJan de Muijnck-Hughes 9d5e011Fixed cabal indentation.Jan de Muijnck-Hughes 0b3f260Merge pull request #2551 from david-christiansen/wip/tacticalDavid Christiansen 7642503Merge pull request #2554 from LeifW/remove_lens_depDavid Christiansen ffb50e2Insert namespace information to declaration-level %runElabDavid Raymond Christiansen 13623f6Remove direct dep on lensLeif Warner 7a2de6dUpdated tests for logger effect.Jan de Muijnck-Hughes 40481dcRenamed Logging Effects, improved simple loggerJan de Muijnck-Hughes 3e9a19eMerge pull request #2553 from melted/icon2Niklas Larsson dec64c4Added the icon in the wrong dirNiklas Larsson 9af1241Merge pull request #2552 from melted/iconNiklas Larsson 659ab8cAdd a windows icon.Niklas Larsson 822142aMerge pull request #2548 from david-christiansen/wip/tacticalDavid Christiansen 7b58024Merge pull request #2547 from Melvar/fix-number-showDavid Christiansen d57d929Swapped order of FATAL and ERROR.Jan de Muijnck-Hughes f5aecf7Deferred autosEdwin Brady 3c9527dFixed log display error.Jan de Muijnck-Hughes 81e1962Type class resolution shouldn't use match_applyEdwin Brady 2df4ef6Rewrote Default Logger and Simple LoggerJan de Muijnck-Hughes 6422545Updated Logging Effect.Jan de Muijnck-Hughes a297e02Fix typo in docstring for Tactics.applyDavid Raymond Christiansen a953ba2Update test for new APIDavid Raymond Christiansen 9dd4233Adjust test primitive002 to backends' outputMelvar Chen c51bf7eFix comparison ops in JS backendMelvar Chen deb4d41Show Double with full precision on C backendMelvar Chen 073d5efFix primitives002 to do what it's supposed toMelvar Chen 6432db2Show MNs that occur in the goal in the interactive proversDavid Raymond Christiansen 7bde028Use subst for intro, rather than updsubstDavid Raymond Christiansen 29e29c2Add letbind to Elab reflectionDavid Raymond Christiansen ce764bfSplit Tactics.intro into two versionsDavid Raymond Christiansen 9202fa1Fix linksJan de Muijnck-Hughes 2fdf033Moved records to useful data typesJan de Muijnck-Hughes 65309a1Styling and OrderJan de Muijnck-Hughes 69db2b3Changes to tutorial.Jan de Muijnck-Hughes fb8c003Updated gitignore to ignore emacs temp filesJan de Muijnck-Hughes a097d05Adjust test for changed negative number outputMelvar Chen 93761d5Fix source locations for decl syntaxDavid Raymond Christiansen 9e8a976Merge remote-tracking branch 'upstream/master' into wip/tacticalDavid Raymond Christiansen