equal
deleted
inserted
replaced
366 Scala.Sleep, |
366 Scala.Sleep, |
367 Scala.Toplevel, |
367 Scala.Toplevel, |
368 Scala_Build.Scala_Fun, |
368 Scala_Build.Scala_Fun, |
369 Base64.Decode, |
369 Base64.Decode, |
370 Base64.Encode, |
370 Base64.Encode, |
371 XZ.Compress, |
371 Compress.XZ_Compress, |
372 XZ.Uncompress, |
372 Compress.XZ_Uncompress, |
|
373 Compress.Zstd_Compress, |
|
374 Compress.Zstd_Uncompress, |
373 Doc.Doc_Names, |
375 Doc.Doc_Names, |
374 Bibtex.Check_Database, |
376 Bibtex.Check_Database, |
375 Isabelle_System.Make_Directory, |
377 Isabelle_System.Make_Directory, |
376 Isabelle_System.Copy_Dir, |
378 Isabelle_System.Copy_Dir, |
377 Isabelle_System.Copy_File, |
379 Isabelle_System.Copy_File, |