package info
(click to toggle)
eukleides 0.9.2-3
- links: PTS
- area: main
- in suites: etch, etch-m68k, sarge
- size: 452 kB
- ctags: 270
- sloc: ansic: 1,934; yacc: 796; lex: 499; makefile: 101; sh: 61
Folder: samples
 |
.. (parent) | |||
 |
- | rw-r--r-- | 481 | abdul_al_wafa.euk |
|
- | rw-r--r-- | 525 | agnesi.euk |
|
- | rw-r--r-- | 423 | angles.euk |
|
- | rw-r--r-- | 555 | bisectors.euk |
|
- | rw-r--r-- | 412 | gravity_center.euk |
|
- | rw-r--r-- | 597 | intersection.euk |
|
- | rw-r--r-- | 616 | lines_and_circles.euk |
|
- | rw-r--r-- | 366 | locus.euk |
|
- | rw-r--r-- | 579 | morley.euk |
|
- | rw-r--r-- | 356 | orthocenter.euk |
|
- | rw-r--r-- | 449 | parallelogram.euk |
|
- | rw-r--r-- | 586 | pascal.euk |
|
- | rw-r--r-- | 896 | quadrilateral.euk |
|
- | rw-r--r-- | 322 | similar.euk |
|
- | rw-r--r-- | 458 | vecten.euk |