diff --git a/GITINSTALL.txt b/GITINSTALL.txt index 4f08f7063490528f5c1741f56326dc87de03155e..4637bbb6ebb3f4c1c5ffbcb2ecad6bc508c2867b 100644 --- a/GITINSTALL.txt +++ b/GITINSTALL.txt @@ -6,10 +6,10 @@ Installation Instructions for the GIT Repository If you want to install the up-to-date version of PAKCS from the developer's repository, you have to clone the -[git repository](https://git-ps.informatik.uni-kiel.de/curry/pakcs), +[git repository](https://git.ps.informatik.uni-kiel.de/curry/pakcs), e.g., by the shell command - git clone git://git-ps.informatik.uni-kiel.de/curry/pakcs.git + git clone https://git.ps.informatik.uni-kiel.de/curry/pakcs.git This creates a new directory `pakcs` containing the current version. Go into this directory by @@ -29,12 +29,6 @@ Then, each future update can be obtained by the executing git pull git submodule update -If you install PAKCS for the first time, you need to install -some Haskell packages required by the front end via Cabal, -i.e., run the command - - make installhaskell - Now you can install the complete system by the command make diff --git a/LICENSE b/LICENSE index f347157c022bfa4c24ab56813b0101dc097e757e..3c0b3113c2bb7651526c8d5d256a38cfbe91bc9b 100644 --- a/LICENSE +++ b/LICENSE @@ -1,6 +1,6 @@ The PAKCS (Portland Aachen Kiel Curry System) License -Copyright (c) 2012, University of Kiel +Copyright (c) 2015, University of Kiel All rights reserved. Redistribution and use in source and binary forms, with or without