This is the README file from project drgeocaml, version 0.3

DESCRIPTION

This program is an interactive geometry software similar to Cabri
Geometre,GeoPlan, Kig... It is based on a project named Drgenius. 
It is developped using:
- Objective Caml (http://caml.inria.fr/) and 
- LablGtk2 (http://wwwfun.kurims.kyoto-u.ac.jp/soft/). 

FEATURES

Drgeocaml features :

- five types of geometric objects : points, lines, circles, vectors and segments
- three transformations : central symetry, translation, and axial symetry
- nine ways to build a point : 
  - free point
  - point on circle
  - point on line
  - point on segment
  - point on half plane
  - midpoint 
  - point at intersection of 
    - two lines
    - one line and one circle
    - two circles
- five ways to build a line
  - line passing by two points
  - perpendicular line
  - parallel line
  - perpendicular bissector
  - angle bissector	
- three ways to build a circle
  - by center and a point
  - using a diameter
  - by three points	
- text labels
- three measures :
  - distances
  - angles
  - areas	
- eight labels for property tests :
  - collinearity
  - point equality
  - orthognality
  - parallelism
  - between
  - congruence of angles
  - congruence of distances
  - left-turn

- Automatic theorem proving capability

- Drgeocaml can read :
 - our own Xml based format (.drg)	
 - a description in pseudo natural language
 - a description of a theorem
 - Kig (.kig) files (partialy)
 - Car (.zir) files (partialy)

- Drgeocaml can export to :
 - SVG
 - PNG

- objects attributs : color, style, width and visibility
- layers that can be displayed independantly, can be visible or hiden and can have a color
- zoom in,out, to fit
- unlimited undo and redo
- fullscreen mode
- selection of objects by type or visibility
- options : toolbars visibility and default styles and colors
- internationalization  : drgeocaml is available in french and english.

LICENCE

Drgeocaml is distributed under the GPL2 licence.