= Local Computing Information =

Information about using software and resources in the Dream Group. Also see the more general [[http://www.inf.ed.ac.uk/systems/|DICE computing environment documentation]]. If you are new make sure to read TheRopes. To become a member of the unix group {{{dreamers}}}, send fill out [[https://www.inf.ed.ac.uk/systems/support/form/|a support form request]] asking to be added to the unix group {{{dreamers}}}. This is the same as the AFS gruop {{{inf:dreamers}}}. This will give you access to our the [[SharedFilespace|shared file spaces]].

== Shared Resources ==

 * SecurityStuff - who's allowed to access what and how.
 * EmailLists - we use email lists to share dreamers related information
 * [[PapersDotBib|papers.bib]] - information about our shared bibtex file.
 * SharedFilespace - tell you about the shared file space
   * [[DiceAfs|Setting up and Using the DICE AFS]] on a linux laptop.
 * UnixSetup - how to setup your DICE machine to use our shared unix tools
 * [[https://dream.inf.ed.ac.uk/protected/Bluenote/|Blue Book Notes]] -- informal notes we write about ideas and work in progress.
 * [[https://dream.inf.ed.ac.uk/protected/Trip/|Trip Reports]] -- shared notes from trips we've been on
 * [[http://dream.inf.ed.ac.uk/Links/|Links]] -- Shared useful links database for upcoming conferences, journals, email lists, etc
 * [[http://dream.inf.ed.ac.uk/computing/|Old Local Computing Info]]

== Web stuff ==

 * DreamWebServerConfig - gives details about our Web server.
 * the WritingDreamWebpages - tell you about how to make webpages on our shared webserver
 * We have an [[GoogleAPIAccount|account with the Google maps API]]. We use this in our 
 * HowToMakeWikis - how to make your own dream wiki

== Installed Software ==

We have various software installed in our shared space on DICE:

 * [[LocalComputingInfo/Isabelle|Isabelle and IsaPlanner]]
 * [[LocalComputingInfo/PolyML|PolyML]]
 * [[LocalComputingInfo/Emacs|emacs]]

== How To... ==

 * SubversionForYourProject - how to make a subversion repository for a project that will live in the dream group shared space. 
 * EditThisWiki - how to make changes to information on this wiki
 * To find out who is in unix group dreamers: {{{getrolemembers dreamers}}}, for the AFS group: {{{pts members dreamersadmin}}} and {{{pts members dreamers}}}, {{{pts help}}} for more help on AFS user admin
 * [[BBNAccess | Get access to Blue Book Notes and Trip Reports]] if you are receiving an error.