search

william-vw / n3-editor-js

A Notation3 Editor in JavaScript
Apache License 2.0
13 stars 5 forks source link

New eye version with log:scope #5

Closed josd closed 2 years ago

josd commented 2 years ago

There is a new version of eye at https://github.com/josd/eye/releases/tag/v22.0125.1823 It supports Doerthe's proposed log:scope to deal with quantification in quoted graphs.

josd commented 2 years ago

It is better to take https://github.com/josd/eye/releases/tag/v22.0126.1149 which is supporting nested log:scope to deal with log:universal and log:existential. Thanks!

josd commented 2 years ago

Again a new install candidate https://github.com/josd/eye/releases/tag/v22.0220.1400 which fixes some weird issues like https://github.com/josd/eye/issues/35 and adds some enhancements like https://github.com/josd/eye/issues/34