Online PLA

We provide PLA to be accessed remotely from this web page if you do not want to install PLA or if you are using a non-supported platform. The cuurent version is version 3.0 (March 2008).

You can either download a PLA client application, which will run by talking to our server at SRI, or you can use Java's webstartStart to achieve the same effect (if webstart works for you). The webstart approach seems to work for Windows and Linux (Java 1.6 is your best bet here). There are problems with webstart on Mac OS X that we are hoping will be resolved when 1.6 comes out of Cupertino.

Webstart Version

To attempt to use the webstart version of the PLA Online:

• Click here!

Downloadable PLA Client

To sidestep the webstart infrastructure, simply download PLAclient.zip:

• PLAclient.zip (434K)

and if your browser doesn't unzip it, you'll need to do this too:

[iop@serrano ~/Desktop]$ unzip PLAclient.zip 
Archive:  PLAclient.zip
   creating: PLAclient/
  inflating: PLAclient/BrowserLauncher2-10.jar  
  inflating: PLAclient/PLAremote     
  inflating: PLAclient/online.jar    
  inflating: PLAclient/pla.jar       
  inflating: PLAclient/iop.jar       
[iop@serrano ~/Desktop]$ 

Cd into that directory and execute the PLAremote script:

[iop@serrano ~/Desktop]$ cd PLAclient
[iop@serrano PLAclient]$ ./PLAremote 

Using Online PLA

Now would be a good time to try out our guided tour:

• Guided Tour of PLA

Bug Reporting

Please report problems to pla-support@csl.sri.com.