|
|
|
|
SSL options
Sprache: VDM
|
|
(* :mode=isabelle-options: *)
section "Graphview"
option graphview_font_family : string = "Isabelle DejaVu Sans"
-- "base font family (notably for PDF)"
option graphview_font_size : int = 12
-- "base font size (notably for PDF)"
public option graphview_font_scale : real = 0.85
-- "scale factor of graph view wrt. main text font"
public option graphview_iterations_minimize_crossings : int = 20
-- "number of iterations to minimize edge crossings"
public option graphview_iterations_pendulum : int = 5
-- "number of iterations for pendulum method"
public option graphview_iterations_rubberband : int = 5
-- "number of iterations for rubberband method"
public option graphview_content_margin : int = 60
-- "margin for node content pretty-printing"
¤ Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.0.0Bemerkung:
(vorverarbeitet)
¤
*Bot Zugriff
|
|
2026-03-28
|
|
|
|
|
