[PPL-devel] [GIT] ppl/w3ppl(master): Link to Julia updated.

Roberto Bagnara bagnara at cs.unipr.it
Wed Dec 2 18:57:47 CET 2009


Module: ppl/w3ppl
Branch: master
Commit: 1f70ebed7d07fc173be00988f77af3d296257071
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=1f70ebed7d07fc173be00988f77af3d296257071

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Wed Dec  2 18:57:39 2009 +0100

Link to Julia updated.

---

 htdocs/Applications/Applications.raw |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/htdocs/Applications/Applications.raw b/htdocs/Applications/Applications.raw
index 93eda5a..490fd08 100644
--- a/htdocs/Applications/Applications.raw
+++ b/htdocs/Applications/Applications.raw
@@ -18,7 +18,7 @@ Here are the ones we are aware of.
   </LI>
 <P>
   <LI>
-    <A HREF="http://spy.sci.univr.it/JuliaWeb/">Julia</A>:
+    <A HREF="http://julia.scienze.univr.it/">Julia</A>:
     a generic static analyser for full sequential Java bytecode.
     Julia is written in Java and accesses the PPL via its Java interface.
   </LI>




More information about the PPL-devel mailing list