Skip to content

Version 1.0.2
Compare
Choose a tag to compare
@martinring martinring released this 16 Jun 08:57
· 39 commits to master since this release
version-1.0.2
5d12f65

This release fixes several minor issues before 1.1

  • Autoreload doesn't break files anymore: You can edit slides.html, cobra.conf as well as external snippets in an editor and the presentation will automatically update. Note, that all changes made in the presentation are lost for now. This will be addressed shortly.
  • Info messages and warning messages are configurable now (add no-infos or no-warnings class to disable)
  • The rendering of standard codemirror themes for Isabelle has been improved (#2)
  • ISABELLE_HOME environment variable does now get considered when set (#1)
  • When an editor is focussed, the keyboard controls of reveal.js are disabled now (#11)
  • Fixed Haskell mode: No more global temp files (#13)
  • Documented usage of id for code tags (#12)
Assets 5
Loading