[Toss-devel-svn] SF.net SVN: toss:[1276] trunk/Toss

[<luk...@us...>]

Revision: 1276
          http://toss.svn.sourceforge.net/toss/?rev=1276&view=rev
Author:   lukaszkaiser
Date:     2011-01-07 11:41:28 +0000 (Fri, 07 Jan 2011)

Log Message:
-----------
Corrections

Modified Paths:
--------------
    trunk/Toss/README
    trunk/Toss/Toss.py
    trunk/Toss/WebClient/README
    trunk/Toss/examples/Tic-Tac-Toe.toss

Modified: trunk/Toss/README
===================================================================
--- trunk/Toss/README	2011-01-05 14:24:57 UTC (rev 1275)
+++ trunk/Toss/README	2011-01-07 11:41:28 UTC (rev 1276)
@@ -11,7 +11,7 @@
 -- Installing dependencies under Ubuntu
 
 Run the following in terminal:
-  sudo apt-get install python-qt4 python-dev pyqt4-dev-tools ocaml-findlib menhir libounit-ocaml-dev 
+  sudo apt-get install g++ python-qt4 python-dev pyqt4-dev-tools ocaml-findlib menhir libounit-ocaml-dev 
 
 Finally to compile Toss just type
   make

Modified: trunk/Toss/Toss.py
===================================================================
--- trunk/Toss/Toss.py	2011-01-05 14:24:57 UTC (rev 1275)
+++ trunk/Toss/Toss.py	2011-01-07 11:41:28 UTC (rev 1276)
@@ -4,7 +4,6 @@
 import os
 import subprocess
 import socket
-import socket
 
 from PyQt4.QtGui import QApplication
 # QtGui Ref: www.riverbankcomputing.co.uk/static/Docs/PyQt4/html/qtgui.html

Modified: trunk/Toss/WebClient/README
===================================================================
--- trunk/Toss/WebClient/README	2011-01-05 14:24:57 UTC (rev 1275)
+++ trunk/Toss/WebClient/README	2011-01-07 11:41:28 UTC (rev 1276)
@@ -3,8 +3,8 @@
 Connection with Server goes through a python wrapper and it uses sqlite, so do:
   sudo apt-get install libapache2-mod-python sqlite3 python-pysqlite2
 to run the wrapper. Make sure apache works (you may need to edit the file
-/etc/apache2/apache2.conf and set ServerRoot to e.g. /var/www/) and then
-in the file /etc/apache2/sites-enabled/[your-site] add e.g.
+/etc/apache2/apache2.conf and uncoment ServerRoot to e.g. /etc/apache2) and
+then in the file /etc/apache2/sites-enabled/[your-site] add e.g.
   <Directory /var/www/WebClient>
     AddHandler mod_python .py
     PythonHandler Handler

Modified: trunk/Toss/examples/Tic-Tac-Toe.toss
===================================================================
--- trunk/Toss/examples/Tic-Tac-Toe.toss	2011-01-05 14:24:57 UTC (rev 1275)
+++ trunk/Toss/examples/Tic-Tac-Toe.toss	2011-01-07 11:41:28 UTC (rev 1276)
@@ -1,5 +1,5 @@
 PLAYERS 1, 2
-DATA r1: circle, r2: line, adv_ratio: 4, depth: 3
+DATA r1: circle, r2: line, adv_ratio: 4, depth: 4
 REL DiagA (x, y) = ex u (R(x, u) and C(u, y))
 REL DiagB (x, y) = ex u (R(x, u) and C(y, u))
 REL Row3 (x, y, z) = R(x, y) and R(y, z)


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.