19 citations · 33 across the 2 of their papers we have counts for
1 paper · 1 filter
Makarius Wenzel
This is an updated system description for Isabelle/jEdit, according to the official release Isabelle2014 (August 2014). The following new PIDE concepts are explained: asynchronous…