diff options
-rw-r--r-- | polly/www/index.html | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/polly/www/index.html b/polly/www/index.html index 13d44dacffb..5d901d89039 100644 --- a/polly/www/index.html +++ b/polly/www/index.html @@ -70,6 +70,13 @@ <table id="news"> <tr><td><b>2012</b></td></tr> + <tr><td width="120"><p>December</p></td> + <td> + <p> New <a +href="http://www.worldscientific.com/doi/abs/10.1142/S0129626412500107?af=R"> + publication</a> in the PPL Journal. + </p> + </td></tr> <tr><td width="120"><p>September</p></td> <td> <p>Experimental support for the <b>new isl code generator</b> |