version-1.0.5

release version 1.0.5

Version 1.0.4

Service Release

• Fixes Haskell path bug (Should fix haskell for windows)
• Fixing debian package name, due to name clash with ubuntu package sources

Version 1.0.3

version-1.0.3

Version 1.0.3

Version 1.0.2

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)

Version 1.0.1

This is a service release with just one change from 1.0

• Fix issue where cobra new created malformed config files

Version 1.0

version-1.0

fix download links