1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
|
EUKLIDES version 0.3.4
Copyright (c) Christian Obrecht 2000-2001
<obrecht@mail.chez.com>
1) PURPOSE
The language Euklides provides simple and powerfull commands for
creating elementary euclidean geometry figures. The underlying
philosophy is to avoid as much as possible the use of coordinates.
There are three situations where Euklides can be usefull:
* You want to create a geometry figure in EPS format. In this case
you can run the shell script `euk2eps' on a Euklides source file.
* You want to insert some geometry figures in a TeX document. In
this case you can insert some Euklides commands within your TeX
source file and run `euklides' with the `-f' option on the source
file to obtain a ready-to-tex file.
* You want to create an interactive geometry figure. In this case
you can use the X-Window program `xeuklides'. This software is
distributed separately.
2) LICENSE
This program is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation; either version 2 of the License, or (at
your option) any later version.
See file COPYING for more details.
3) INSTALL
To build `euklides' you'll need to have `flex' and `bison' installed.
The only special feature used is an exclusive start state in the lexer.
So it should be possible to you use other implementation of `lex' and
`yacc' (except original `AT&T lex'). To run `euk2eps' and, generally,
to use `euklides', you'll need to have TeX (with `pstricks') and `dvips'
(supporting `-E' option) installed.
As usual, type "make install". Default installation directories are
`/usr/local/bin', `/usr/man' and `/usr/info'. You'll have to edit the
Makefile to change this.
4) DOCUMENTATION
Once installed see man page for usage and info page for language des-
cription.
5) CONTACT
Please send bug reports and comments at: <obrecht@mail.chez.com>.
|
