<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
  <title>GoDiS todo list</title>
                                  
  <meta http-equiv="content-type"
 content="text/html; charset=ISO-8859-1">
</head>
  <body>
         
<h1 align="center">GoDiS todo list</h1>
     <br>
         
<p>This is a list of things to do with GoDiS, both generally and for specific 
  versions (basic, grounding, iod, aod) and applications. It is divided into
  the following sections:<br>
     </p>
       