Changes between Version 30 and Version 31 of ccpn

Timestamp:

Feb 4, 2019, 3:08:55 PM (6 years ago)

Author:

9simon

Comment:

Make actual Release download link bold.

ccpn

@@ -10 +10 @@
 Binding searches are based on the highly optimized Curry evaluation environment of the [https://www-ps.informatik.uni-kiel.de/kics2 KiCS2] compiler.
 
-Here we provide a download for reviewers:  [http://www.informatik.uni-hamburg.de/TGI/moldt/renew2.6devbase.zip renew2.6devbase.zip]
+'''Here we provide a download for reviewers: [http://www.informatik.uni-hamburg.de/TGI/moldt/renew2.6devbase.zip renew2.6devbase.zip]'''
 
 == Prerequisites ==