19 citations · 70 across the 9 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…