Skip to content

Commit

Permalink
release version 1.0.5
Browse files Browse the repository at this point in the history
  • Loading branch information
Martin Ring committed Jun 20, 2016
1 parent 15f0840 commit c4bce8c
Show file tree
Hide file tree
Showing 6 changed files with 16 additions and 18 deletions.
6 changes: 3 additions & 3 deletions .bintray-deb.json
Original file line number Diff line number Diff line change
Expand Up @@ -15,9 +15,9 @@
"public_stats": false
},
"version": {
"name": "version-1.0.4",
"desc": "Version 1.0.4",
"vcs_tag": "version-1.0.4",
"name": "version-1.0.5",
"desc": "Version 1.0.5",
"vcs_tag": "version-1.0.5",
"gpgSign": true
},
"files":
Expand Down
6 changes: 3 additions & 3 deletions .bintray-rpm.json
Original file line number Diff line number Diff line change
Expand Up @@ -15,9 +15,9 @@
"public_stats": false
},
"version": {
"name": "version-1.0.4",
"desc": "Version 1.0.4",
"vcs_tag": "version-1.0.4",
"name": "version-1.0.5",
"desc": "Version 1.0.5",
"vcs_tag": "version-1.0.5",
"gpgSign": true
},
"files":
Expand Down
4 changes: 2 additions & 2 deletions .version
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
1.0.4
1.0.4
1.0.5
1.0.5
14 changes: 6 additions & 8 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -6,14 +6,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.4
## Download **Cobra** 1.0.5

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.4/cobra-1.0.4.zip)
All platforms: [zip](https://github.com/flatmap/cobra/releases/download/version-1.0.5/cobra-1.0.5.zip)

### macOS

Expand All @@ -24,9 +24,7 @@ brew tap flatmap/cobra
brew install cobra
```

### Linux

#### Fedora / RHEL
### Fedora / RHEL

There is a YUM repository available which provides automatic updates

Expand All @@ -36,9 +34,9 @@ sudo mv bintray-flatmap-rpm.repo /etc/yum.repos.d/
sudo dnf install cobra
```

#### Ubuntu / Debian
### Ubuntu / Debian

There is a PPA available for Debian / Ubuntu. Releases are signed with bintray's public key. To add it please ececute
There is a PPA available for Debian / Ubuntu. Releases are signed with bintray's private key. To add the public key please ececute

```sh
apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv-keys 379CE192D401AB61
Expand All @@ -64,7 +62,7 @@ sudo apt-get install cobra-presentations

### Presentation Format

The content of a presentation is stored in a file called `slides.html`. Cobra will support a MarkDown slideformat in Version 1.1.
The content of a presentation is stored in a file called `slides.html`. Cobra will support a MarkDown slide format in Version 1.2.

To add a slide, simply add `<section>` tags to the `slides.html` file. For the general slide format please refer to the **reveal.js** [documentation](https://github.com/hakimel/reveal.js).

Expand Down
2 changes: 1 addition & 1 deletion build.sbt
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@ cancelable in Global := true

val commonSettings = Seq(
scalaVersion := "2.11.8",
version := "1.0.4",
version := "1.0.5",
maintainer := "Martin Ring",
organization := "net.flatmap",
scalacOptions ++= Seq("-deprecation","-feature")
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@ import better.files._
* Created by martin on 03.02.16.
*/
object Cobra extends App {
val version = "1.0.4"
val version = "1.0.5"

private def assume(cond: Boolean, msg: String) = if (!cond) {
println("failed to initialize: " + msg)
Expand Down

0 comments on commit c4bce8c

Please sign in to comment.