Commits

History for

Commits on Oct 15, 2024

Fix relative docs in `givens.md` (#21774)
WojciechMazur
authored

Commits on Oct 10, 2024

fix code rendering error in givens.md
bishabosha
authored

Commits on Oct 4, 2024

Apply suggestions from code review

odersky
and
kyouko-taiga
authored

Commits on Sep 30, 2024

Update docs to new conventions
odersky
committed

Commits on Jul 4, 2024

Supplement structural givens doc
som-snytt
committed

Commits on Nov 21, 2023

reference doc: fix incorrect syntax production
SethTisue
committed

Commits on Feb 6, 2023

fix: ensure syntax blocks for ebnf are marked as such
ckipp01
committed

Commits on Oct 19, 2022

Add small improvements to the Reference page
Sporarum
committed

Commits on May 17, 2022

Mark reference documentation as nightly
pikinier20
committed

Commits on Apr 18, 2022

Revert "Highlight all EBNF snippets. Add missing semicolons."
odersky
committed

Commits on Mar 28, 2022

Highlight all EBNF snippets. Add missing semicolons.
pikinier20
committed

Commits on Mar 14, 2022

fixed examples for names of anonymous givens

SrTobi
authored and
bishabosha
committed

Commits on Feb 11, 2022

Change static site directory structure. Adjust Dotty static site directory to the new implementation
pikinier20
committed

Loading