Commits

Branch selector

 master

User selector

jfdm

Datepicker

All time

Commit History

Commits on Jan 5, 2022

• Merge pull request idris-lang#4909 from pawelsawicz/patch-1

  Show description for 52d123c
  jfdm

  authored
  52d123c

  Copy full SHA for 52d123c

Commits on Aug 28, 2020

• Merge pull request idris-lang#4886 from idris-lang/jfdm-patch-1

  Show description for bdb6f69
  jfdm

  authored
  bdb6f69

  Copy full SHA for bdb6f69

• Fixes idris-lang#4880

  Show description for 89c7c29
  jfdm

  authored
  89c7c29

  Copy full SHA for 89c7c29

• Merge pull request idris-lang#4882 from jpetkau/patch-1

  Show description for f904fbc
  jfdm

  authored
  f904fbc

  Copy full SHA for f904fbc

Commits on Mar 31, 2020

• Merge pull request idris-lang#4836 from jfdm/fix-literate-newline

  Show description for be69a0b
  jfdm

  authored
  be69a0b

  Copy full SHA for be69a0b

• Use proper newline character when lexing.

  jfdm

  committed
  17106b6

  Copy full SHA for 17106b6

• Merge pull request idris-lang#4835 from jfdm/fix-literate-2

  Show description for 7c0644f
  jfdm

  authored
  7c0644f

  Copy full SHA for 7c0644f

• Fix bug in Text.Literate.idr

  Show description for 39effba
  jfdm

  committed
  39effba

  Copy full SHA for 39effba

Commits on Mar 28, 2020

• Merge pull request idris-lang#4834 from jfdm/fix-literate

  Show description for ecb49fa
  jfdm

  authored
  ecb49fa

  Copy full SHA for ecb49fa

• Fix subtle bug in Text.Literate.

  Show description for c80ef9f
  jfdm

  committed
  c80ef9f

  Copy full SHA for c80ef9f

Commits on Mar 10, 2020

• Merge pull request idris-lang#4825 from jfdm/doc-fixes

  Show description for 853e453
  jfdm

  authored
  853e453

  Copy full SHA for 853e453

• Fix Readthedocs PDF generation

  Show description for c76ade1
  jfdm

  committed
  c76ade1

  Copy full SHA for c76ade1

• Merge pull request idris-lang#4823 from jfdm/doc-fixes

  Show description for b7a191b
  jfdm

  authored
  b7a191b

  Copy full SHA for b7a191b

• Minor fix to latex sphinx build configuration.

  Show description for bc8926c
  jfdm

  committed
  bc8926c

  Copy full SHA for bc8926c

Commits on Aug 6, 2019

• Merge pull request idris-lang#4751 from AlexIljin/doc-typo-fix

  Show description for 476234f
  jfdm

  authored
  476234f

  Copy full SHA for 476234f

Commits on Aug 1, 2019

• Merge pull request idris-lang#4745 from martinbaker/fixMarkup

  Show description for a8d2afc
  jfdm

  authored
  a8d2afc

  Copy full SHA for a8d2afc

• Merge pull request idris-lang#4747 from dalpd/fix/master/typo

  Show description for a1b3097
  jfdm

  authored
  a1b3097

  Copy full SHA for a1b3097

Commits on Jul 12, 2019

• Merge pull request idris-lang#4734 from ziman/fix-travis

  Show description for 611564b
  jfdm

  authored
  611564b

  Copy full SHA for 611564b

Commits on Jun 3, 2019

• Merge pull request idris-lang#4725 from gdennie/patch-1

  Show description for 162e468
  jfdm

  authored
  162e468

  Copy full SHA for 162e468

Commits on May 29, 2019

• Merge pull request idris-lang#4718 from martinbaker/interactiveDocFix

  Show description for 99ac202
  jfdm

  authored
  99ac202

  Copy full SHA for 99ac202

• Merge pull request idris-lang#4719 from klangner/master

  Show description for aed33b8
  jfdm

  authored
  aed33b8

  Copy full SHA for aed33b8

Commits on May 16, 2019

• Merge pull request idris-lang#4709 from jfdm/new-stack

  Show description for 2418112
  jfdm

  authored
  2418112

  Copy full SHA for 2418112

• Merge pull request idris-lang#4708 from jfdm/show-visibility-in-docs

  Show description for 4efeda8
  jfdm

  authored
  4efeda8

  Copy full SHA for 4efeda8

• Updated changelog and add GitHub issue reference: Fixes idris-lang#4702

  jfdm

  committed
  dbf060c

  Copy full SHA for dbf060c

• Add an alternative stack configuration file to deal with upstream GHC issues.

  Show description for f25bcfe
  jfdm

  committed
  f25bcfe

  Copy full SHA for f25bcfe

• Bump stack to latest version.

  jfdm

  committed
  e09ab81

  Copy full SHA for e09ab81

Commits on May 15, 2019

• Amended the test suite to report updated documentation.

  jfdm

  committed
  8fe28aa

  Copy full SHA for 8fe28aa

• Show visibility in doc comments.

  Show description for 36bcf4b
  jfdm

  committed
  36bcf4b

  Copy full SHA for 36bcf4b

Commits on Apr 18, 2019

• Merge pull request idris-lang#4691 from jfdm/fix-rtd-error

  Show description for a93d8c9
  jfdm

  authored
  a93d8c9

  Copy full SHA for a93d8c9

• RTD builds were failing due to lack of pngmath extensions.

  jfdm

  committed
  4fc3ea0

  Copy full SHA for 4fc3ea0

• Merge pull request idris-lang#4689 from jfdm/improve-language-doc

  Show description for c2d21f8
  jfdm

  authored
  c2d21f8

  Copy full SHA for c2d21f8

• Merge pull request idris-lang#4687 from martinbaker/myDoc

  Show description for 3befe35
  jfdm

  authored
  3befe35

  Copy full SHA for 3befe35

• Initial transfer of {AS} grammar to Sphinx Documtation.

  Show description for 58bfb08
  jfdm

  committed
  58bfb08

  Copy full SHA for 58bfb08

Commits on Feb 12, 2019

• Merge pull request idris-lang#4633 from tuncer/patch-1

  Show description for 120e37d
  jfdm

  authored
  120e37d

  Copy full SHA for 120e37d

Commits on Jan 23, 2019

• Merge pull request idris-lang#4644 from zenntenn/patch-1

  Show description for c060a88
  jfdm

  authored
  c060a88

  Copy full SHA for c060a88

Pagination

Previous

Next