Skip to content
Open
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
36 changes: 13 additions & 23 deletions doc/user_guide/saclib.tex
Original file line number Diff line number Diff line change
Expand Up @@ -33,33 +33,23 @@
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\clearpage \vfill
\begin{center}
\saclib\ \copyright\ 1993 by Kurt G\"{o}del Institute
\saclib\ \copyright\ 1993, 2008, RISC-Linz (contact [email protected])
\end{center}

\bigskip

The \saclib\ system source code and User's Guide are made available free
of charge by the Kurt Goedel Institute on behalf of the \saclib\ Group.

Persons or institutions receiving it are pledged not to distribute it to
others. Instead, individuals wishing to acquire the system should obtain it
by ftp directly from the Kurt Goedel Institute, informing the Institute of
the acquisition. Thereby the \saclib\ Group will know who has the system and
be able to inform all users of any corrections or newer versions.

Users are kindly asked to cite their use of the system in any resulting
publications or in any application packages built upon \saclib.

Neither \saclib\ nor any part thereof may be incorporated in any commercial
software product without the consent of the authors. Users developing
non-commercial application packages are kindly asked to inform us.

Requests or proposals for changes or additions to the system will
be welcomed and given consideration.

\saclib\ is offered without warranty of any kind, either expressed or implied.
However reports of bugs or problems are encouraged.

Permission to use, copy, modify, and/or distribute this software, including
source files, README files, etc., for any purpose with or without fee is
hereby granted, provided that the above copyright notice and this permission
notice appear in all copies.

THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.

\vfill
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
Expand Down