Skip to content

23rd Git Release
Compare
Choose a tag to compare
@Jazzpirate Jazzpirate released this 15 Sep 14:30
· 274 commits to release since this release
v23.0.0
53b293a
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.
  • Administrative
    • preparation for a future upgrade to Scala 3
    • fixed many deprecation warnings
  • Core system
    • new support for imperative computation akin to type-checking
    • experimental support for interactive theorem proving via Sven Wille's MSc thesis
    • extended support for theorem proving via Leo by Colin Rothgang's MSc work building on Luca Wolff's BSc work
  • sTeX
    • major extensions
    • integrated improved document viewer (see here)
    • improved sandboxing for RusTeX
    • improvements for LSP and the IDE
    • co-release with the IDE and sTeX version 3.2 on CTAN
  • Other components
    • Isabelle: upgrade to Isabelle2021-1
  • LATIN2 library (separate repository, co-released)
    • various extensions and improvements
    • monads and collection data types by Moritz Blöcher's BSc thesis
    • new dependently-typed higher-order logic as developed by Colin Rothgang's MSc thesis
    • new support for programming language features by Alexander Mattick's MSc project
    • case study on realms, in particular topology by Franziska Weber's BSc side project
Assets 3
Loading