author | wenzelm |
Sun, 19 May 2024 18:43:45 +0200 | |
changeset 80181 | aa92c0f96036 |
parent 80057 | 87f90735e6dd |
permissions | -rw-r--r-- |
/* Title: Pure/Admin/afp.scala Author: Makarius Administrative support for the Archive of Formal Proofs. */ package isabelle object AFP { val chapter: String = "AFP" val BASE: Path = Path.explode("$AFP_BASE") def main_dir(base_dir: Path = BASE): Path = base_dir + Path.explode("thys") def main_dirs(afp_root: Option[Path]): List[Path] = afp_root match { case None => Nil case Some(base_dir) => List(main_dir(base_dir = base_dir)) } }