Skip to content
This repository has been archived by the owner on Aug 10, 2024. It is now read-only.

Latest commit

 

History

History
311 lines (151 loc) · 3.76 KB

CHANGELOG.md

File metadata and controls

311 lines (151 loc) · 3.76 KB
Raw

Changelog

2.0.6

Fixed

  • References in top-level section bodies (FTL-TeX)

2.0.5

Changed

  • There is no predefined preferred line length any longer

Fixed

  • No hihglighing of comments in math mode

2.0.4

Fixed

  • Wrong scope in LaTeX settings
  • .ftl.tex not being detected as .tex files

2.0.3

Fixed

  • Wrong highlighting when using escaped braces

2.0.2

Fixed

  • Wrong version numbers in CHANGELOG

2.0.1

Changed:

  • Just some internal changes on the directory structure

Fixed:

  • Unbalanced braces in ForTheL environments

2.0.0

Changed:

  • This package lo longer depends on language-latex2e. Instead the relevant files of language-latex2e are adoped directly as part of this package.
  • Snippets for instructions are removed.
  • LaTeX snippets are removed. You can for instance use the package autocomplete-latex instead.

1.2.9

Fixed:

  • Fix package dependencies

1.2.8

Fixed:

  • Snippets for FTL-TeX

1.2.7

Changed:

  • Some minor internal improvements

1.2.6

Fixed:

  • Just some minor fixes

1.2.5

New:

  • New LaTeX snippets

Changed:

  • Remove snippets for drop instructions
  • Scope name for plain ForTheL is now source.ftl

Fixed:

  • Highlighting of proof by induction on ...
  • Highlighting of top-level section labels

1.2.4

Fixed:

  • Year in LICENSE.md
  • GitHub links in README.md

1.2.0

New:

  • Snippets for \newcommand, \renewcommand and \newenvironment (LaTeX mode)
  • Snippet for document template (LaTeX mode)
  • Snippet for checkconsistency instruction
  • Add link to CHANGELOG.md to README.md

Changed:

  • New layout of CHANGELOG.md
  • Add line breaks to LaTeX-ForTheL example
  • Reduce list of package keywords
  • Reduce settings
  • Update Isabelle version in README.md

Fixed:

  • Handling of tabs in snippets
  • Scopes
  • Repository URL
  • Highlighting of low-level theorems (LaTeX mode)
  • Highlighting of comment environments (LaTeX mode)
  • Highlighting of comments in math mode (LaTeX mode)
  • Highlighting of LaTeX commands in cases enviromnents (LaTeX mode)

1.1.2

Fixed:

  • Math mode in declarations

1.1.1

New:

  • Highlighting for declarations

1.1.0

Changed:

  • Improve snippets

1.0.0

New:

  • Embed LaTeX-ForTheL into the package language-latex2e

0.5.9

New:

  • Highlighting for logical symbols and class terms
  • Highlighting for linebreaks (LaTeX mode)

Changed:

  • Apply new ForTheL standards to examples

0.5.8

New:

  • Snippet for ForTheL environment in LaTeX mode

0.5.7

Changed:

  • Change file name extension for LaTeX-ForTheL files from .tex.ftl to .ftl.tex

0.5.6

Changed:

  • Improve LaTeX code in example file

0.5.5

Fixed:

  • Inline math in case splits in function definitions

0.5.4

New:

  • Math mode in ForTheL environments

0.5.3

Fixed:

  • LaTeX example

0.5.2

New:

  • readtex instruction

0.5.1

Fixed:

  • Some fixes and minor internal changes

New:

  • Highlighting for URLs in ForTheL's LaTeX version

0.5.0

New:

  • Syntax highlighting for ForTheL's LaTeX version

0.4.3

Changed:

  • Rename package to language-forthel

0.4.2

Changed:

  • Rename instructions

Fixed:

  • Drop instructions

0.4.1

New:

  • Editor settings
  • Snippets

Fixed:

  • Clean up the present syntax highlighting

0.2.1

New:

  • Highlighting of "suppose" and "assume"

Changed:

  • Disable highlighting of "!=" and "-<-"

0.1.3

New:

  • Add keywords: "forthel", "ftl", "naproche", "sad" and "naproche-sad"

0.1.2

New:

  • Highlight statement

Fixed:

  • Better handling of atom, relation, notion and constant

0.1.0 - First Release