summaryrefslogtreecommitdiffstats
path: root/games/gturing
Commit message (Collapse)AuthorAgeFilesLines
* Bump PORTREVISION on all ports that depend on gettext to aid with upgrading.marcus2004-02-041-1/+1
| | | | (Part 2)
* - Fix build converting port to use bsd.gnome.mk [1]bland2003-09-211-15/+3
| | | | | | - Remove unnecesary libgnomeprintui dependency Reported by: kris [1]
* Correct dependency directory in last commit.marcus2003-02-201-1/+1
|
* * Re-add support for libgnomeprint[ui]-2.0marcus2003-02-202-3/+2
| | | | * De-pkg-comment
* Chase libgnomeui's shared lib version.marcus2003-02-071-2/+4
|
* New port: games/gturing - A simple Turing machine for gnome2edwin2003-01-218-0/+170
Gturing is a simple turing machine simulator with graphical interface. A Turing machine is the simplest possible computing device which can only perform very simple operations. However, almost everything in programming languages can be written as a program for the Turing machine. It's a nice complement for students who likes to practice with theory and a nice toy to play with. PR: ports/40368 Submitted by: Juan Salaverria <rael@vectorstar.net>
OpenPOWER on IntegriCloud