equal
deleted
inserted
replaced
304 src/Tools/jEdit/src/timing_dockable.scala \ |
304 src/Tools/jEdit/src/timing_dockable.scala \ |
305 src/Tools/jEdit/src/token_markup.scala |
305 src/Tools/jEdit/src/token_markup.scala |
306 services = \ |
306 services = \ |
307 isabelle.Bash$Handler \ |
307 isabelle.Bash$Handler \ |
308 isabelle.Bibtex$File_Format \ |
308 isabelle.Bibtex$File_Format \ |
|
309 isabelle.Build$Default_Engine \ |
309 isabelle.Document_Build$Build_Engine \ |
310 isabelle.Document_Build$Build_Engine \ |
310 isabelle.Document_Build$LIPIcs_LuaLaTeX_Engine \ |
311 isabelle.Document_Build$LIPIcs_LuaLaTeX_Engine \ |
311 isabelle.Document_Build$LIPIcs_PDFLaTeX_Engine \ |
312 isabelle.Document_Build$LIPIcs_PDFLaTeX_Engine \ |
312 isabelle.Document_Build$LuaLaTeX_Engine \ |
313 isabelle.Document_Build$LuaLaTeX_Engine \ |
313 isabelle.Document_Build$PDFLaTeX_Engine \ |
314 isabelle.Document_Build$PDFLaTeX_Engine \ |