Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Colorful Latex Document Preparation in 2022

Email Gateway (Sep 20 2022 at 07:44):

From: "C. Diekmann" <diekmann@net.in.tum.de>
Howdy fellow Isabelle users,

Isabelle creates by default okayish-looking LaTeX proof documents. Adding
some colors and some typesetting which helps to better distinguish
definition names from definition arguments would be nice. Some style
similar to the browser info would be awesome. Does anyone have examples for
some nicer-looking setups?

Thanks!
Cornelius

Last updated: Jan 04 2025 at 20:18 UTC