[PPL-devel] [GIT] ppl/ppl(master): Put under Git control.

[Roberto Bagnara]

Module: ppl/ppl
Branch: master
Commit: de1f6f6e47ec4d79e304b8b4f77e9b3b0a95065d
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=de1f6f6e47ec4d79e304b8b4f77e9b3b0a95065d

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Mon Feb 15 22:15:44 2010 +0100

Put under Git control.

---

 demos/ppl_pips/ppl_pips_extra_man_text |   27 +++++++++++++++++++++++++++
 1 files changed, 27 insertions(+), 0 deletions(-)

diff --git a/demos/ppl_pips/ppl_pips_extra_man_text b/demos/ppl_pips/ppl_pips_extra_man_text
new file mode 100644
index 0000000..459a133
--- /dev/null
+++ b/demos/ppl_pips/ppl_pips_extra_man_text
@@ -0,0 +1,27 @@
+
+[AUTHOR]
+See the file \fBCREDITS\fR in the source distribution or use the command
+\fBppl\-config \-\-credits\fR for a list of contributors.
+
+[COPYRIGHT]
+Copyright (C) 2001\-2010 Roberto Bagnara <bagnara at cs.unipr.it>
+.br
+This is free software; see the file \fBCOPYING\fR in the source
+distribution or use the command \fBppl\-config \-\-copying\fR to
+obtain the copying conditions.  There is NO warranty; not even for
+MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
+
+[AVAILABILITY]
+The latest version of the Parma Polyhedra Library and all the documentation
+is available at \fBhttp://www.cs.unipr.it/ppl/\fR .
+
+[NOTES]
+The options \fB\-CSECS\fR (\fB\-\-max\-cpu\fR=\fISECS\fR) and
+\fB\-t\fR (\fB\-\-timings\fR) are not available on some platforms.
+
+[SEE ALSO]
+.BR ppl-config(1)
+.sp
+Paul Feautrier.
+.IR "Parametric Integer Programming".
+RAIRO Recherche Opérationnelle, 22(3):243-268, 1988.