SATySFi OnlineSATySFi version 0.0.1 ---- ---- ---- ---- target file: 'fe671b16-e622-44ad-8181-24e2b6fae43c.pdf' dump file: 'fe671b16-e622-44ad-8181-24e2b6fae43c.satysfi-aux' (will be created) parsing 'fe671b16-e622-44ad-8181-24e2b6fae43c.saty' ... ---- ---- ---- ---- reading 'fe671b16-e622-44ad-8181-24e2b6fae43c.saty' ... type check: block-text ! [Type Error] file '/tmp/satysfi.net/demo/fe671b16-e622-44ad-8181-
