2011-10-12 Florian Franzmann * DETAILS, PRE_BUILD: version 5.0.1 * shared.gpr.diff: added * src_editor_buffer.adb.diff: removed 2011-07-30 Florian Franzmann * DEPENDS: changed dependency on ada to dependency on gcc with sub-depends on ADA (scripted) 2011-02-17 Florian Franzmann * DEPENDS, DETAILS, PRE_BUILD, src_editor_buffer.adb.diff: spell created .