Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Jul 26, 2023

• Bump to 2.9.6

  andreasabel

  committed
  efa6208

• v2.9.5: CHANGELOG etc.

  andreasabel

  committed
  5301d95

• Fix #451 again: Java/ANTLR: use String.translateEscapes() of Java 15

  andreasabel

  committed
  3c1c609

Commits on Dec 17, 2022

• Restore version 2.9.5

  andreasabel

  committed
  3219147

• Drop version from 2.9.5 to 2.9.4.1

  andreasabel

  committed
  00c6265

• conf.py: bump year to 2022

  andreasabel

  committed
  b914ab0

Commits on Feb 17, 2022

• Bump verstion to 2.9.5

  andreasabel

  committed
  84c9654

Commits on Dec 23, 2021

• Document --agda --functor (#405)

  andreasabel

  committed
  7d7b714

Commits on Oct 21, 2021

• docs/othertools: added tree-sitter and various syntax highlighter for LBNF

  andreasabel

  committed
  8a9ccf8

Commits on Oct 1, 2021

• Bump to 2.9.4

  andreasabel

  committed
  ac02292

Commits on Jun 13, 2021

• [ cabal ] bump to 2.9.3

  andreasabel

  committed
  50d7861

Commits on May 19, 2021

• [ docs ] set default highlighting language

  andreasabel

  committed
  1f9df77

• [ fix #362 ] document 'define'

  andreasabel

  committed
  fbb2c93

Commits on Apr 12, 2021

• [ doc #354 ] lbnf.rst: stacking layout keywords

  andreasabel

  committed
  ffcc3a1

Commits on Mar 1, 2021

• [ 2.9.1 ] Bump version to 2.9.2

  andreasabel

  committed
  1590237

Commits on Jan 26, 2021

• [ #176 ] include class HasPosition in user guide for Haskell backend

  andreasabel

  committed
  cbeb5db

Commits on Jan 21, 2021

• [ #176 #327 ] --functor: documentation and CHANGELOG

  andreasabel

  committed
  fe82732

Commits on Dec 28, 2020

• [ cabal ] bumped to 2.9.1 and 2021

  andreasabel

  committed
  e103a0a

Commits on Nov 22, 2020

• Revert "[ doc #304 ] remove false claim: "BNFC checks for empty types""

  andreasabel

  committed
  5ba4cae

Commits on Nov 12, 2020

• [ #265 purge Profile ] remove now unused (List)IntList from LBNF grammar

  andreasabel

  committed
  5caa22c

• [ fixed #320 ] lbnf.rst: wrong definition of Ident

  andreasabel

  committed
  6f27689

Commits on Oct 14, 2020

• [ #265 purge Profile ] removed indirection Label ::= LabelId

  andreasabel

  committed
  371f1a7

• [ #265 purge Profile ] --profile removed: backend and from LBNF

  andreasabel

  committed
  3031af7

Commits on Oct 11, 2020

• [ fixed #306 ] Allow arbitrary categories in entrypoints pragma

  andreasabel

  committed
  5be78d9

• [ cabal ] bump version to 2.9.0

  andreasabel

  committed
  237a4ac

Commits on Oct 10, 2020

• [ docs ] Backend doc logically after LBNF reference

  andreasabel

  committed
  91e3d0d

• [ dev ] convenient Makefile s

  andreasabel

  committed
  2e8fd38

• [ doc ] updated pygments recipe to python3

  andreasabel

  committed
  68d15dd

• [ doc ] for Haskell backend including migration from <=2.8.3

  andreasabel

  committed
  c52e63f

• [ docs ] finished proof-reading lbnf.rst

  andreasabel

  committed
  9c16e38

• [ doc ] use BNFC's notation for types / category skeleton

  andreasabel

  committed
  2e06a8a

• [ doc #304 ] remove false claim: "BNFC checks for empty types"

  andreasabel

  committed
  d762f73

Commits on Oct 9, 2020

• [ docs ] Proof read beginning of lbnf.rst

  andreasabel

  committed
  037fac5

• [ docs ] fixed errors in "rules" description

  andreasabel

  committed
  0ae0103

• [ docs ] Updated the description of the layout feature, adding a new example.

  andreasabel

  committed
  1a9db31

Pagination

PreviousNext