Till Arnold

Support for multiline dialogue in fountain editor

1

It appears that in the editor multiline dialogue is not indented. As an example consider DAN's dialogue in these screenshots from ThiefMD 0.2.3. Editor:  Preview: ![Screenshot...

Build errors on docker hub

1

I'm new to docker so I'm not sure whether or not this is a problem, but the builds on https://hub.docker.com/r/andrewd/rust-musl/builds/ have been failing for a month.

I have found two examples that verify with silicon but when using carbon result in `An internal error occurred. Found an unparsable output from Boogie.` The error messages differ in...

```js method test(m: Map[Int,Int]) requires(range(m) == domain(m)) { assume forall i: Int, j: Int :: i in m && j in m ==> (i != j ==> (m[i] != m[j]))...