Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on May 4, 2023

• Update README.org

  cyberglot

  authored
  5f54ee6

Commits on Nov 2, 2021

• update documentation

  cyberglot

  committed
  aae0c3f

• remove gitmodules and get idris2-mode via github directly

  cyberglot

  committed
  237d8c6

• remove other packages from instructions as it's confusing

  cyberglot

  committed
  9a29f18

• update package definition

  cyberglot

  committed
  2a97209

• add idris2-mode as a local package

  cyberglot

  committed
  8702845

• readd submodules

  cyberglot

  committed
  f63e1f8

• update commands

  cyberglot

  committed
  d6d9fbe

Commits on Nov 1, 2021

• wip version of package.el

  cyberglot

  committed
  b20ed18

• fix formatting again

  cyberglot

  committed
  2007b24

• fix formatting

  cyberglot

  committed
  4b59e69

• add instructions on how to install the layer

  cyberglot

  committed
  8ba2e9f

• update readme.org

  cyberglot

  committed
  fb58d0e

• add idris2-mode as a git submodule

  cyberglot

  committed
  b24a140

• Initial commit

  cyberglot

  authored
  afd0197