The graphview plugin, despite significant progress in the past weeks esp. wrt. performance, is IMHO still not suitable to manage our typical graphs (in particular class_deps), mainly due to too small-sized nodes resp. too wide distances. Unfortunately, the print mode Graph_Display.graphview_reportN is hardwired from the very beginning of the prover process, and I do not know about a possibility to do a subtractive patching of the print mode. Currently I help myself with patching the initialization of the print mode in ML. Any better suggestions?
Florian
--
PGP available:
http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de
signature.asc
Description: OpenPGP digital signature
_______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
