Blog entries (Page 19 of 50)

• 2012 Dec 28 by Finnian ReillyEiffel Configuration Tools
  Tags:
  • ecf
  • tutorial
  • beginner
  • Article
  • Eiffel configuration files
  • pyxis
  • gedit
  • pecf
• 2012 Dec 15 by Bernd SchoellerWhat I expect from a programming language
  Tags:
  • language design
• 2012 Nov 14 by Paul-georges CrismerEDOC has been forked on Github
  Tags:
  • XML
  • Gobo
  • Documentation generator
  • EDO
  • html
• 2012 Sep 27 by ManuWhich version of Linux are you really using?
  Tags:
  • linux
• 2012 Aug 08 by Ian KingEiffelVision within a browser
  Tags:
  • eiffelvision
  • broadway
  • browser
  • gtk3
  • html5
  • ubuntu
• 2012 Jul 31 by ManuFarewell to BIT types
  Tags:
  • compiler
  • eiffel
• 2012 Jul 12 by Finnian ReillyTime to reimplement Vision2
  Tags:
  • GUI
  • Vision2
  • GTK+
  • UI
• 2012 Jun 04 by Helmut BrandlBlog about static verification of software
  Tags:
  • static verification
  • correctness proofs