Merge branch 'dev-mergedrepos' into src. Closes #28.

Author: fdedden

contact.md

@@ -1,24 +1,10 @@
 # Contact & Help
 Having trouble using Copilot, or encountered a possible bug? Asking questions
-or reporting bugs can both be done through the issue tracker at GitHub. This
+or reporting bugs can both be done through the [issue
+tracker](https://github.com/copilot-language/copilot/issues) at GitHub. This
 helps us keep track of open bugs and problems, and allows us to easily comment
 and discuss the issue.
 
-As Copilot consists of several packages, each of them comes with its own issue
-tracker. If you have a question about a specific package or encountered a
-problem specific to a package, please report the problem at that package, if
-possible. In all other cases, please refer to the issue tracker of the general
-Copilot package:
-
-* [copilot](https://github.com/Copilot-Language/Copilot/issues) (General issues)
-* [copilot-core](https://github.com/Copilot-Language/copilot-core/issues)
-* [copilot-language](https://github.com/Copilot-Language/copilot-language/issues)
-* [copilot-libraries](https://github.com/Copilot-Language/copilot-libraries/issues)
-  (Issues with any of the functions defined in the library)
-* [copilot-c99](https://github.com/Copilot-Language/copilot-c99/issues) (Issues
-  with generating C code)
-* [copilot-theorem](https://github.com/Copilot-Language/copilot-theorem/issues)
-
 
 ## General Questions
 For general questions about Copilot, questions that are unsuited to be posted

documentation.md

@@ -4,42 +4,37 @@ A manual to Copilot can be downloaded [here](downloads/copilot_tutorial.pdf).
 Copilot comes with a set of examples as part of its distribution, available in
 the [Examples
 directory](https://github.com/Copilot-Language/Copilot/tree/master/Examples) of
-the main repository.
+the repository.
 
 
 ## Structure and Sources
 Apart from the Copilot [Github project
 page](https://github.com/Copilot-Language), there are a number of sub-projects
-that make up Copilot:
+that make up Copilot, that all share a single repository:
 
-- `Copilot`: The main Copilot package, to which all others are a dependency.
+- `copilot`: The main Copilot package, to which all others are a dependency.
   One should install this one to install Copilot.
-  ([Sources](https://github.com/Copilot-Language/Copilot))
+  ([Sources](https://github.com/Copilot-Language/copilot))
   ([Hackage](https://hackage.haskell.org/package/copilot))
 
 - `copilot-core`: The core language, which efficiently represents Copilot
   expressions. The core is only of interest to implementers wishing to add a
   new back-end to Copilot.
-  ([Sources](https://github.com/Copilot-Language/copilot-core))
   ([Hackage](https://hackage.haskell.org/package/copilot-core))
 
 - `copilot-language`: The front-end of Copilot defining the user language. A
   user of Copilot typically interacts with this library.
-  ([Sources](https://github.com/Copilot-Language/copilot-language))
   ([Hackage](https://hackage.haskell.org/package/copilot-language))
 
 - `copilot-libraries`: User-supplied libraries for Copilot, including
   linear-temporal logic, fault-tolerant voting, regular expressions, etc.
-  ([Sources](https://github.com/Copilot-Language/copilot-libraries))
   ([Hackage](https://hackage.haskell.org/package/copilot-libraries))
 
 - `copilot-c99`: A backend writing hard realtime C99 code. It writes
   readable output and ensures the output code is constant in memory and time.
-  ([Sources](https://github.com/Copilot-Language/copilot-c99))
   ([Hackage](https://hackage.haskell.org/package/copilot-c99))
 
 - `copilot-theorem`: Some tools to prove properties on Copilot.
-  ([Sources](https://github.com/Copilot-Language/copilot-theorem))
   ([Hackage](https://hackage.haskell.org/package/copilot-theorem))
 
 Additionally there is a specific repository that lists most of the papers and