Skip to content

Latest commit

 

History

History
18 lines (10 loc) · 490 Bytes

CHANGELOG.md

File metadata and controls

18 lines (10 loc) · 490 Bytes

1.1.0 for Coq v8.10.0

  • Add a new command line interface.

  • Add a new VSCode interface with a LSP server.

  • In the aforementioned two interfaces, most arguments can be supplied via global or project-local .roosterizerc files.

  • Drop the redundant OpenNMTInterfaceForNaming model, and simplify model selecting after only having the multi-source model.

  • Add the script to package as binary distributions using PyInstaller.

dev for Coq v8.10.0 [dev]

  • Initial public release.