This repository was archived by the owner on Aug 4, 2026. It is now read-only.

Name		Name	Last commit message	Last commit date
examples		examples
grammars		grammars
screenshots		screenshots
settings		settings
snippets		snippets
styles		styles
CHANGELOG.md		CHANGELOG.md
LICENSE.md		LICENSE.md
README.md		README.md
package.json		package.json

Repository files navigation

Syntax Highlighting for ForTheL

This package provides syntax highlighting for ForTheL – the input language of the natural language proof assistant Naproche – in Pulsar.

It is largely based on language-latex2e.

$Screenshot of highlighted ftl-tex code)$

About

No description, website, or topics provided.

1 star

1 watching

Report repository

Used by

Contributors

Languages