spechub/Hets — pull request #1334 by cmaeder (2014-08-19 17:28:28+00:00)
Title: for interactive api proving query keys for all theorems are created

The interactive svg output creates queries of the following form that should continue to work.

```
prover=SPASS&translation=CASL2SoftFOL&timeout=1&ga_comm_min=on&ga_comm_max=on&ga_assoc_min=on&ga_assoc_max=on&ga_left_comm_min=on&ga_left_comm_max=on
```