Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on May 11, 2026

• Avoid undefined predicates

  JanWielemaker

  committed
  6646faa

  Copy full SHA for 6646faa

Commits on Mar 15, 2026

• Updated bench

  JanWielemaker

  committed
  c828c74

  Copy full SHA for c828c74

Commits on Nov 11, 2025

• COMPAT: Deal with current source location management in edit/0,1

  JanWielemaker

  committed
  1cce759

  Copy full SHA for 1cce759

Commits on Apr 3, 2025

• COMPAT: Upgrade Tinker to support Tau-split.

  JanWielemaker

  committed
  c488b78

  Copy full SHA for c488b78

Commits on Apr 1, 2025

• Make trace background !important.

  JanWielemaker

  committed
  107a377

  Copy full SHA for 107a377

Commits on Mar 31, 2025

• ADDED: Highlight condition for SSU (=>) rules

  JanWielemaker

  committed
  8635ccd

  Copy full SHA for 8635ccd

• Cleanup

  JanWielemaker

  committed
  5ad884f

  Copy full SHA for 5ad884f

Commits on Mar 30, 2025

• ENHANCED: Answer rendering for blobs on the toplevel.

  JanWielemaker

  committed
  7302307

  Copy full SHA for 7302307

• FIXED: Console#lastQuery: trying to write to `const`.

  JanWielemaker

  committed
  73c75af

  Copy full SHA for 73c75af

Commits on Mar 27, 2025

• Fail port colour

  JanWielemaker

  committed
  2bd3c42

  Copy full SHA for 2bd3c42

• Avoid error in getClause() on paste

  JanWielemaker

  committed
  fb555f1

  Copy full SHA for fb555f1

• Support multifile predicate highlighting.

  JanWielemaker

  committed
  c576d24

  Copy full SHA for c576d24

Commits on Mar 26, 2025

• Fixed dependencies in example

  JanWielemaker

  committed
  d7fcbd4

  Copy full SHA for d7fcbd4

• Deal with sources that cannot be downloaded while tracing.

  JanWielemaker

  committed
  e9f3928

  Copy full SHA for e9f3928

• Support highlighting HTML directives

  JanWielemaker

  committed
  fe60742

  Copy full SHA for fe60742

• Name style consistency

  JanWielemaker

  committed
  4a0a733

  Copy full SHA for 4a0a733

• Make example ready for cross-referencing.

  JanWielemaker

  committed
  adefd2a

  Copy full SHA for adefd2a

• ADDED: Show source location when tracing.

  JanWielemaker

  committed
  edb2986

  Copy full SHA for edb2986

• More highlight styles

  JanWielemaker

  committed
  5035fc2

  Copy full SHA for 5035fc2

Commits on Mar 25, 2025

• Added more categories

  JanWielemaker

  committed
  08982ee

  Copy full SHA for 08982ee

• Avoid opening the stream twice

  JanWielemaker

  committed
  6e5dbc3

  Copy full SHA for 6e5dbc3

• Reuse markers

  JanWielemaker

  committed
  39f3fdd

  Copy full SHA for 39f3fdd

• JsDoc

  JanWielemaker

  committed
  ed62d7a

  Copy full SHA for ed62d7a

• Use

  JanWielemaker

  committed
  e42a310

  Copy full SHA for e42a310

• Avoid reloading current file.

  JanWielemaker

  committed
  6bdbc64

  Copy full SHA for 6bdbc64

• Use caching to minimise the cost of index to line translation.

  JanWielemaker

  committed
  21893d2

  Copy full SHA for 21893d2

• Working variable unmarking

  JanWielemaker

  committed
  e56c4c3

  Copy full SHA for e56c4c3

• Wip marking the current variable.

  JanWielemaker

  committed
  f8329d4

  Copy full SHA for f8329d4

• Track current variable

  JanWielemaker

  committed
  2c41103

  Copy full SHA for 2c41103

• Handle syntax errors and singletons

  JanWielemaker

  committed
  a954ff7

  Copy full SHA for a954ff7

• Somewhat working highlighting.

  JanWielemaker

  committed
  7e20abc

  Copy full SHA for 7e20abc

• Collected clause around cursor

  JanWielemaker

  committed
  a75f23b

  Copy full SHA for a75f23b

• Get all info for incremental update

  JanWielemaker

  committed
  4cf2a8b

  Copy full SHA for 4cf2a8b

• Move loading highlight.pl to a the editor

  JanWielemaker

  committed
  4d35f46

  Copy full SHA for 4d35f46

Commits on Mar 24, 2025

• Trap viewport changes

  JanWielemaker

  committed
  f1dab04

  Copy full SHA for f1dab04