Good to see interest in thea2 and fixing issues! Integrated. Replaced writeln/1 by `format(’~q.~n’, …) to guarantee proper quoting and a full-stop. If you have more, could you use github pull requests? That makes changes tracktable and simplifies integration a lot (with less risk on mistakes).

Thea2 suggested fix - writing ontology/1 at top of plsyn file (Discussion)

EricGT May 13, 2020, 2:33pm 6

2 Likes

Topic		Replies	Views
GitHub Pull Request Wiki	0	499	May 13, 2020
Fix to thea2 for saving in plsyn format Nice to know how-to	10	711	May 19, 2020
Proper way to submit changes to Swish repository? Help!	0	273	May 21, 2019
Being friendly to quick contributions General	6	2127	December 23, 2019
Good behaviour in SWI-Prolog library contribution Help!	1	249	February 11, 2021