Artiweb > Pull Request #3153

Minor fixes #3153

Github

Description
  • Fix pretty printing of some previously unsupported terms
  • Interface changes around Location
  • Proof script logging: Strongly type and improve console and dialog output. New dialog output (quicksort): ``` Running script from URL 'file:/key/key.ui/examples/heap/quicksort/sort.key':

file:/key/key.ui/examples/heap/quicksort/sort.key:7: Executing on goal 0 'script 'sort.script''

file:/key/key.ui/examples/heap/quicksort/sort.script:1: Executing on goal 0 'macro autopilot-prep'

file:/key/key.ui/examples/heap/quicksort/sort.script:7: Executing on goal 346 'select formula="{heapAtPre:=heap || exc:=null || heap:=heapAfter_sort_0} se ...'

file:/key/key.ui/examples/heap/quicksort/sort.script:9: Executing on goal 346 'macro simp-upd'

``` * Fix proof script position information to point to the start of the command * Replace lots of manual file name handling with Location * Replace usages of URL as source paths with URI

Artifacts