search

jcreedcmu / twelf-mac

Other
0 stars 1 forks source link

Should scroll to end when producing twelf output #11

Closed jcreedcmu closed 3 months ago

jcreedcmu commented 3 months ago

So that you can see the %% OK %% or %% ABORT %%.

jcreedcmu commented 3 months ago

Also, the scrollbars don't correctly update when the evaluation output is more than one page.