object
Data
Value Members
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
final
def
==(arg0: Any): Boolean
-
final
def
asInstanceOf[T0]: T0
-
def
build_log_table(name: String, columns: List[Column], body: String = ""): Table
-
val
chapter: Column
-
def
clone(): AnyRef
-
-
-
-
def
finalize(): Unit
-
final
def
getClass(): Class[_]
-
-
def
hashCode(): Int
-
val
heap_size: Column
-
final
def
isInstanceOf[T0]: Boolean
-
-
val
log_name: Column
-
val
meta_info_table: Table
-
val
ml_statistics: Column
-
val
ml_statistics_table: Table
-
val
ml_timing_cpu: Column
-
val
ml_timing_elapsed: Column
-
val
ml_timing_factor: Column
-
val
ml_timing_gc: Column
-
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
val
pull_date: Column
-
val
pull_date_table: Table
-
def
recent_pull_date_table(days: Int, rev: String = ""): Table
-
def
recent_time(days: Int): Source
-
def
select_recent_isabelle_versions(days: Int, rev: String = "", sql: Source = ""): Source
-
def
select_recent_log_names(days: Int): Source
-
val
session_name: Column
-
val
sessions_table: Table
-
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
val
threads: Column
-
val
timing_cpu: Column
-
val
timing_elapsed: Column
-
val
timing_factor: Column
-
val
timing_gc: Column
-
def
toString(): String
-
val
universal_table: Table
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit
persistent store *