Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 30, 2021

• Add MIT license

  willcrichton

  committed
  ec978ed

Commits on Sep 28, 2021

• Fix quoting issues, closes nota-lang#6

  willcrichton

  committed
  c502f5f

• Fix latex leftovers in bibtex

  willcrichton

  committed
  2b8cd56

• Temporary fix for conflicting anchors, see issue nota-lang#5

  willcrichton

  committed
  299177d

• Fix arrow placement, closes nota-lang#4

  willcrichton

  committed
  c6f3ad9

• Remove yellow flash from log messages, closes nota-lang#2

  willcrichton

  committed
  d6209e7

• Fix typos, closes nota-lang#1

  willcrichton

  committed
  075043a

• Fix scroll issue, add note about browser compatibility

  willcrichton

  committed
  e67dd95

• Update slicing paper

  willcrichton

  committed
  e477a0c

• Add a README

  willcrichton

  committed
  3883b87

• Clarify paper after reviews

  willcrichton

  committed
  420116b

Commits on Aug 11, 2021

• Bump to esbuild-utils 0.3.0

  willcrichton

  committed
  61eec5f

Commits on Aug 7, 2021

• Add nota to peerDeps

  willcrichton

  committed
  efdd79b

• Fix nested tooltip issue, simplify esbuild config

  willcrichton

  committed
  9c99c4e

Commits on Aug 6, 2021

• Update to latest slicer server

  willcrichton

  committed
  5e3f568

• Log z-index

  willcrichton

  committed
  1f8922d

• Fix loader style

  willcrichton

  committed
  19c224c

• Add spinner and logger

  willcrichton

  committed
  37afe8a

Commits on Aug 5, 2021

• Build issue

  willcrichton

  committed
  6ecfc2b

• Scroll plugin

  willcrichton

  committed
  86343d6

• New plugin interface

  willcrichton

  committed
  f492e83

Commits on Aug 4, 2021

• Move tooltip globals into context

  willcrichton

  committed
  114de84

• Small memory optimizations

  willcrichton

  committed
  0c9f27e

• Small edits

  willcrichton

  committed
  4d777d2

• Draft of hatra paper

  willcrichton

  committed
  d226dd6

Commits on Aug 2, 2021

• HTTPS slicer

  willcrichton

  committed
  a01f944

• Change github action

  willcrichton

  committed
  c03d5b0

• Draft of commentary section

  willcrichton

  committed
  c0bf808

• Add intro and start of commentary section

  willcrichton

  committed
  1b9e15d

Commits on Aug 1, 2021

• Start of hatra paper, "reactex" -> "nota"

  willcrichton

  committed
  470434e

Commits on Jul 31, 2021

• Fix type errors

  willcrichton

  committed
  a321a58

• Add anonymous author

  willcrichton

  committed
  9483a34

• Bah gawd we have a draft

  willcrichton

  committed
  5605588

• Add togglebox, theorems

  willcrichton

  committed
  8ad19e0

Commits on Jul 30, 2021

• Add syntax diagram

  willcrichton

  committed
  fb8f7ba

Pagination

Previous

Next