Stefan Wehr

query-replace problem when ethan-wspace is activated

2

I recently upgraded emacs to this version: ``` GNU Emacs 26.2 (build 1, x86_64-apple-darwin18.2.0, NS appkit-1671.20 Version 10.14.3 (Build 18D109)) of 2019-04-13 ``` After the upgrade, I got the following...

We are running the docker-registry-web behind a https proxy. However, there are some issues because docker-registry-web seems to change the https:// to http:// at some points. For example, I first...

Syntax error for output of hammer

2

hammer outputs: ``` Reconstructing the proof... Tactic srun eauto succeeded. Replace the hammer tactic with: srun eauto use: binds_neq_shrink unfold: term_subst, subst, prop_subst. ``` But when pasting the `srun ...`...

With unfold, you can unfold notations, e.g. `unfold "#"`. You can't to this with sauto: `sauto unfold:"#"` or `sauto unfold:#` gives a syntax error.

I had some troubles getting hammer running. It was a configuration problem on my system, but debugging was more complicated then necessary as external commands redirect stderr to /dev/null. It...

Multiple stacking points

1

At the moment, FRLayeredNavigationController supports only one explicit stacking point (configured via the initialViewPosition property of FRLayeredNavigationItem). In addition, there is an implicit stacking point at the right margin of...

The following does not work: ```java java.util.Map javaMap = new java.util.HashMap(); Map immutableMap = Maps.copyOf(javaMap.entrySet()); ``` Compile error: ``` build/plugins/java/Dexx.java:20: error: no suitable method found for copyOf(java.util.Map) Map immutableMap =...

Allow static/abstract classifier also for official UML syntax

3

## :bookmark_tabs: Summary Previously, the static classifier was only supported for attributes using the syntax `String name$`. Now you can also write `name: String$` Further, it was confusing that static/abstract...

Hey fellow developers, I renamed to master branch to main. You need to issue to following commands to update your local copy: ``` git branch -m master main git fetch...

- BlackBoxTests should be named ShellBasedTests - it should be possible to write tests that only care about the exit code - configuration mechanism should be simpler