Tijdschema

• de Part klasse bevat nu van elk deel van een formule zowel de syntaxboom als de manier waarop die op het scherm voorgesteld wordt. Dit moet in een Model-View-Controller model opgesplitst worden. [Status: begonnen dinsdag 30 mei 2000, klaar zondag 18 juni, na een slordige 1150 compilaties; de source is van 9792 naar 10337 lijnen gegroeid]
• klassen beter in packages onderverdelen: nu zit er enkel code in het default (naamloos) package en in één package (formula genaamd); het naamloze package moet verdwijnen (en gve.calc of zo worden) en de rest moet opgesplitst worden (gve.calc.formula, gve.calc.logic, gve.calc.graph) [Status: klaar op woensdag 26 juli 2000]
• invoeren van namespace management [Status: bezig---22 aug 2000]; een manier vinden om variabelen op te slaan op een manier die vriendelijk is voor zowel Java als voor de grafische gebruikersinterface; commando's als isregular, completegraph, ... niet meer vast inbakken maar (dmv. introspectie?) uitbreidbaar maken
• bewijsregels eenvoudiger maken: elk bewijs moet vanzelf weer een nieuwe bewijsregel worden [Status: klaar op 16 maart 2001]
• meertalen-ondersteuning / ontkoppelen object vs voorstelling
• ondersteuning voor Java-programma-objecten
• programma open source maken [Status: klaar op 3 oktober 2000]; eerste beta-versie; documentatie over de internalia (hoe voeg ik zelf een operator bij en dat soort onderwerpen)
  
• ondersteuning voor save/load in verschillende bestandsformaten; bestandsformaat herzien (MathML of zo) [LaTex ad-hoc save routine klaar op 4 maart 2001]
• Hoare calculus (dmv. bewijs-objecten + Java-programma-objecten)

Korte termijn schema

• Bewijsregels == bewijs: predikaatlogica [status: klaar]
• Muis- en toetsenbordafhandeling via standaard AWT functies [omschakeling is bezig]
• Operatoren en functies intern op dezelfde manier voorstellen [nog onzeker of dit wel de juiste aanpak is]
• Door de gebruiker configureerbare views [gepland]
• Verzamelingen-datatype [bezig]
• Ondersteuning voor types en typeconversie [gepland]