= PolyML =

We have a locally installed version of the latest PolyML at: 

{{{
/afs/inf.ed.ac.uk/group/dreamers/public/software/IsaDev/polyml
}}}

A version of jEdit with the PolyML pluggin installed is available at: 

{{{
/afs/inf.ed.ac.uk/group/dreamers/public/software/IsaDev/jedit4.3pre17
}}}

To use the jEdit with polyml you can do the following: 

{{{
source /afs/inf.ed.ac.uk/group/dreamers/public/software/IsaDev/source_me.sh;
/afs/inf.ed.ac.uk/group/dreamers/public/software/IsaDev/jedit4.3pre17/bin/jedit
}}}

Some documents on using the PolyML plugin at are: 

{{{
/afs/inf.ed.ac.uk/group/dreamers/public/software/IsaDev/polyml-svn/jedit-plugin/index.html
}}}