[Club2] Vortrag am Freitag

[Makarius]

Am morgigen Freitag wird Johannes Hölzl einen Vortrag halten:

  Zeit: 11:50 bis 12:30
  Raum: 00.09.055 (Turing)

  Titel: isabelle.jedit: Isabelle User-Interface based on jEdit

  Abstract: To have a more modern user interface for Isabelle and also the 
  possibility to develop plugins for NetBeans and Eclispe a user interface 
  component library for Isabelle was developed and a simple plugin for 
  jEdit using this user interface library. This was done as part of my 
  Systementwicklungsprojekt.


	Makarius