Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision		Previous revision
Next revisionBoth sides next revision
research:software:gradualtalk [2013/05/09 12:06] – etanterresearch:software:gradualtalk [2013/05/09 13:27] – eallende
Line 29: Line 29:
 ===== Download ===== ===== Download =====
  
-The latest version of Gradualtalk can be found here:  [[https://ci.inria.fr/rmod/job/Gradualtalk/|Gradualtalk (Jenkins)]]+There are two images to download:
  
-There are two images: +  * **{{research:software:gradualtalk:gradualtalk.zip|gradualtalk.zip}}**: The basic image of the Gradual Type System 
- +  * **{{research:software:gradualtalk:gradualtalk-typedkernel.zip|gradualtalk-typedkernel.zip}}**: Has the same functionalities that the basic image, but additionally some kernel classes and the type system has been typed.
-  * **Gradualtalk.zip**: The basic image of the Gradual Type System +
-  * **Gradualtalk-TypedKernel.zip**: Has the same functionalities that the basic image, but additionally some kernel classes and the type system has been typed.+
  
 We recommend to use the [[http://www.mirandabanda.org/files/Cog/VM/|Cog VM]]. We recommend to use the [[http://www.mirandabanda.org/files/Cog/VM/|Cog VM]].