New pages
From Wiki.overturetool.org
Showing below up to 7 results starting with #1.
View (previous 50) (next 50) (20 | 50 | 100 | 250 | 500)
- 17:38, 6 May 2012 Minutes of the LB NM, 6th May 2012 (hist) [2,991 bytes] Swo (Talk | contribs) (New page: Minutes of the LB NM, held on 6th May 2012, 14:00 CET: Present: NB, SW, NP and MV. Apologies received from HS, AH and SS. Minutes by SW. Meeting started at 13:57 CET. '''1. Minutes of...)
- 08:03, 3 May 2012 Net Meeting 62 (hist) [7,027 bytes] Nick battle (Talk | contribs) (New page: == Date == == Participants == == Review of Action List == The action item list is maintained as a tracker on [https://sourceforge.net/tracker/?func=browse&group_id=141350&atid=775371 So...)
- 08:35, 27 April 2012 Using Git (hist) [8,459 bytes] JoeyColeman (Talk | contribs) (New page: Category:Developer_documentation =Using Git= narf ==Getting the Overture Source== ==Using Branches==)
- 16:24, 26 March 2012 Net Meeting 61 (hist) [3,083 bytes] Pglvdm (Talk | contribs) (New page: == Date == == Participants == == Review of Action List == The action item list is maintained as a tracker on [https://sourceforge.net/tracker/?func=browse&group_id=141350&atid=775371 So...)
- 13:21, 18 March 2012 Minutes of the LB NM, 18th March 2012 (hist) [2,549 bytes] Swo (Talk | contribs) (New page: Minutes of the LB NM, held on 18th March 2012, 13:00 CET: Present: NB, SW, SS, HS, AH. Apologies received from NP and MV. Minutes by SW. Meeting started at 13:07 CET. '''1. Minutes of...)
- 09:10, 20 February 2012 Core (hist) [459 bytes] Ari (Talk | contribs) (New page: Core components: * Ast * Ast Generator * Cglib * Corba * Parser * PoTrans * Showtrace * StdLib * TestFramework * Traces * UmlTrans * Vdm2Java * VdmExamples * Vdmj * VdmToolsApi * VdmTStdL...)
- 10:52, 17 February 2012 Overture Architecture (hist) [80 bytes] Ari (Talk | contribs) (New page: Overture is divided in three major parts: Core, IDE and IDE plugins.)
