equal
deleted
inserted
replaced
318 src/Tools/jEdit/src/timing_dockable.scala \ |
318 src/Tools/jEdit/src/timing_dockable.scala \ |
319 src/Tools/jEdit/src/token_markup.scala |
319 src/Tools/jEdit/src/token_markup.scala |
320 services = \ |
320 services = \ |
321 isabelle.Bash$Handler \ |
321 isabelle.Bash$Handler \ |
322 isabelle.Bibtex$File_Format \ |
322 isabelle.Bibtex$File_Format \ |
323 isabelle.Build$Default_Engine \ |
323 isabelle.Build$Engine$Default \ |
324 isabelle.Build_Schedule$Build_Engine \ |
324 isabelle.Build_Schedule$Build_Engine \ |
325 isabelle.Document_Build$Build_Engine \ |
325 isabelle.Document_Build$Build_Engine \ |
326 isabelle.Document_Build$LIPIcs_LuaLaTeX_Engine \ |
326 isabelle.Document_Build$LIPIcs_LuaLaTeX_Engine \ |
327 isabelle.Document_Build$LIPIcs_PDFLaTeX_Engine \ |
327 isabelle.Document_Build$LIPIcs_PDFLaTeX_Engine \ |
328 isabelle.Document_Build$LuaLaTeX_Engine \ |
328 isabelle.Document_Build$LuaLaTeX_Engine \ |