Fix whitespace in negative charclasses (
#331 )
Pull request merge
jgmpushed 1 commit to main • b0cfecd…f7e12e9 • 20 days ago
Update Makefile and rebuild doc/syntax.html.
jgmpushed 1 commit to main • 7e95468…b0cfecd • 25 days ago
Add a link to implmentations benchmarks in the README.md. (
#329 )
Pull request merge
jgmpushed 1 commit to main • 68b4df9…7e95468 • 28 days ago
README: Add Djockey and reformat tooling list.
jgmpushed 1 commit to main • fe75f48…68b4df9 • on Aug 27, 2024
Add links for Emacs and Treesitter to tooling section.
jgmpushed 2 commits to main • 345e89c…fe75f48 • on Aug 22, 2024
feat(readme): add tooling section to highlight djot tools for editors (
… Pull request merge
jgmpushed 1 commit to main • 2fec440…345e89c • on Aug 22, 2024
Fix typo: remove double occurence of "as" (
#273 )
Pull request merge
jgmpushed 1 commit to main • b96386c…2fec440 • on Feb 23, 2024
Clarify that multiline block attributes are allowed...
jgmpushed 1 commit to main • 3dc54ee…b96386c • on Feb 20, 2024
Fix typo in syntax.md.
Closes #272 .
jgmpushed 1 commit to main • 6228a8f…3dc54ee • on Feb 19, 2024
Update list of implementations in README.
jgmpushed 1 commit to main • 36758e9…6228a8f • on Feb 4, 2024
mention golang implementation of djot parser (
#266 )
Pull request merge
jgmpushed 1 commit to main • 7d11df0…36758e9 • on Jan 22, 2024
Revert "Remove tight/loose list distinction."
jgmpushed 1 commit to main • fc4dff7…7d11df0 • on Oct 29, 2023
Remove tight/loose list distinction.
jgmpushed 1 commit to main • 696bb4f…fc4dff7 • on Oct 29, 2023
Match reference with example (
#244 )
Pull request merge
jgmpushed 1 commit to main • e4b1a31…696bb4f • on Sep 20, 2023
clarify stability guarantees (
#241 )
Pull request merge
jgmpushed 1 commit to main • b850635…e4b1a31 • on Aug 30, 2023
Fix typo in math example (
#237 )
Pull request merge
jgmpushed 1 commit to main • f22711a…b850635 • on Aug 4, 2023
Revert "Create djot-writer.lua (
#233 )"
jgmpushed 1 commit to main • 2336a69…f22711a • on Jun 4, 2023
Create djot-writer.lua (
#233 )
Pull request merge
jgmpushed 1 commit to main • 8778a72…2336a69 • on Jun 2, 2023
Fix typo, preceeded -> preceded (
#230 )
Pull request merge
jgmpushed 1 commit to main • 1e4c195…8778a72 • on May 11, 2023
You can’t perform that action at this time.