Skip to content

Commit

Permalink
Update README.md
Browse files Browse the repository at this point in the history
  • Loading branch information
martinring authored Jun 10, 2016
1 parent 9ecd537 commit 9a9975f
Showing 1 changed file with 4 additions and 3 deletions.
7 changes: 4 additions & 3 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -4,14 +4,14 @@ Cobra is a modern code and proof presentation framework, leveraging cutting-edge

Cobra currently supports [**Isabelle**](https://isabelle.in.tum.de/index.html) proofs as well as [**Scala**](http://www.scala-lang.org/) and [**Haskell**](http://haskell.org) code

## Download **Cobra** 1.0
## Download **Cobra** 1.0.1

There is a pre built binary relase for Cobra.

> **Note, that Java 8 or higher is required for cobra to run.**
> **It will fail to start, when used with Java 7 or below!**
All platforms: [zip](https://github.com/flatmap/cobra/releases/download/version-1.0/cobra-1.0.zip) | Fedora: [rpm](https://github.com/flatmap/cobra/releases/download/version-1.0/cobra-1.0-1.noarch.rpm)
All platforms: [zip](https://github.com/flatmap/cobra/releases/download/version-1.0.1/cobra-1.0.1.zip) | Fedora: [rpm](https://github.com/flatmap/cobra/releases/download/version-1.0.1/cobra-1.0.1-1.noarch.rpm)

## Getting Started

Expand Down Expand Up @@ -87,9 +87,10 @@ The comments won't be shown in the presentation and the sub-snippets can be incl

Note that, the sub-snippets may be nested or even overlapping as in the example and included in several editors. They will allways stay in sync.


The language mode is derived from the super-snippet.

It is also possible to hide snippets. This is convenient, when super snippets shall not be included in the presentation. This can be done by adding the class `hidden` to a code snippet.

The comment syntax for Haskell and Isabelle is as follows:

```haskell
Expand Down

0 comments on commit 9a9975f

Please sign in to comment.