Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on May 17, 2024

• v2.0.0.1

  isovector

  committed
  06d6020

• Merge pull request agda#151 from phijor/fix-missing-sdist-files

  Show description for dff1c23
  isovector

  authored
  dff1c23

Commits on May 16, 2024

• Include Agda files needed for tests in sdist

  Show description for 4736aa2
  phijor

  committed
  4736aa2

Commits on May 15, 2024

• Merge pull request agda#149 from phijor/fix-loading-ro-files

  Show description for 5fb7f1d
  isovector

  authored
  5fb7f1d

Commits on May 14, 2024

• Ignore failed writes when loading buffer

  Show description for 60fa86a
  phijor

  committed
  60fa86a

Commits on Apr 17, 2024

• Release v0.2.0.0

  isovector

  committed
  c97b481

Commits on Apr 8, 2024

• Merge pull request agda#146 from phijor/reduce-closure-size

  Show description for 9d3347e
  isovector

  authored
  9d3347e

Commits on Apr 7, 2024

• Reduce closure size of Nix derivation

  phijor

  committed
  212e999

Commits on Mar 26, 2024

• Merge pull request agda#145 from malob/update-ghc

  Show description for 54b417d
  isovector

  authored
  54b417d

Commits on Mar 25, 2024

• Update to latest version of GitHub actions used

  malob

  committed
  5500298

• Update to GHC 9.6.4

  malob

  committed
  c28b406

Commits on Mar 2, 2024

• Merge pull request agda#143 from silky/auto-close-info-window

  Show description for 9d83faa
  isovector

  authored
  9d83faa

• add auto-close info window functionality

  silky

  committed
  320bde7

Commits on Feb 21, 2024

• Merge pull request agda#140 from silky/remove-duplicate-mappings

  Show description for ed9d12f
  isovector

  authored
  ed9d12f

Commits on Feb 20, 2024

• removed some duplicates

  silky

  committed
  87a9b41

Commits on Feb 2, 2024

• Merge pull request agda#136 from uf5/master

  Show description for c1f926e
  isovector

  authored
  c1f926e

Commits on Feb 1, 2024

• buildVimPluginFrom2Nix is deprecated

  Show description for cacefed
  uf5

  committed
  cacefed

Commits on Dec 20, 2023

• Merge pull request agda#134 from malob/update-ghc

  Show description for 0273a74
  isovector

  authored
  0273a74

• Update GHC versions with default as 9.4.8

  malob

  committed
  6cc8927

Commits on Dec 7, 2023

• Merge pull request agda#131 from 4e554c4c/lint

  Show description for 8202a42
  isovector

  authored
  8202a42

• Update src/Lib.hs

  isovector

  authored
  204ea14

Commits on Dec 6, 2023

• fix whitespace

  4e554c4c

  committed
  7a6d7ca

• add hlint

  4e554c4c

  committed
  3326032

Commits on Dec 5, 2023

• Merge pull request agda#132 from 4e554c4c/fix-priority

  Show description for 4884ac6
  isovector

  authored
  4884ac6

• Specify highlight priority

  Show description for 627fa65
  4e554c4c

  committed
  627fa65

Commits on Dec 2, 2023

• Merge pull request agda#130 from favonia/restore-bindings

  Show description for 494c57e
  isovector

  authored
  494c57e

• Add back deleted bindings

  favonia

  committed
  e328106

Commits on Dec 1, 2023

• Cleanup new bindings

  isovector

  committed
  5676d2b

Commits on Nov 30, 2023

• Add Latex input bindings

  isovector

  committed
  86174c3

Commits on Nov 7, 2023

• Merge pull request agda#126 from malob/update-ghc

  Show description for 4569a83
  isovector

  authored
  4569a83

• Update GHC versions with default as 9.4.7

  malob

  committed
  fd3a7f9

Commits on Sep 12, 2023

• Merge pull request agda#123 from malob/fix-agda-builds

  Show description for d7ec58b
  isovector

  authored
  d7ec58b

Commits on Sep 9, 2023

• Fix Agda builds

  malob

  committed
  cc6e6f9

Commits on Sep 7, 2023

• Merge pull request agda#122 from malob/fix-mac-ci

  Show description for 6e8dd29
  isovector

  authored
  6e8dd29

Commits on Sep 6, 2023

• Speed up CI by caching Nix builds

  malob

  committed
  58e0660

Pagination

PreviousNext