EasyChair Smart Slide
Isabelle/jEdit as IDE for domain-specific formal languages and informal text documents
Isabelle/jEdit as IDE for domain-specific formal languages and informal text documents