diff options
| author | wiz <wiz> | 2000-09-03 14:56:44 +0000 |
|---|---|---|
| committer | wiz <wiz> | 2000-09-03 14:56:44 +0000 |
| commit | a823d4e3cdbabb1d2b7571a66b481fe41d39ab3d (patch) | |
| tree | 940efae84705bc83d6140235f70fbef09e37e1aa | |
| parent | 4f2ae993e0c75d4e9710bb66f2ef0f9c40d3efff (diff) | |
| download | pkgsrc-a823d4e3cdbabb1d2b7571a66b481fe41d39ab3d.tar.gz | |
reformat to < 25 lines
| -rw-r--r-- | x11/xpns/pkg/DESCR | 10 |
1 files changed, 1 insertions, 9 deletions
diff --git a/x11/xpns/pkg/DESCR b/x11/xpns/pkg/DESCR index ff7b0e6181d..25e4206204c 100644 --- a/x11/xpns/pkg/DESCR +++ b/x11/xpns/pkg/DESCR @@ -1,27 +1,19 @@ -PNS ---- -Is a public domain Petri net simulation tool -for Unix systems. +PNS is a public domain Petri net simulation tool for Unix systems. PNS is a graphics tool and requires the X window system. Examples: --------- - simple.net 3-2 Reduction - - add.net x = x + y - - sub1.net x >= y : x = x - y x < y : y = y - x - - sub2.net x = x - y NEGATIVE = 1 <=> x-y < 0 - - mult.net z = x * y - - phil.net Dining Philosophers Problem |