Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Last revision Both sides next revision | ||
|
ntscomp_ntslib [2012/07/11 20:04] radu.iosif |
ntscomp_ntslib [2013/01/14 13:13] filip.konecny |
||
|---|---|---|---|
| Line 6: | Line 6: | ||
| * The **NTL language specification**: {{:ntslib.pdf|pdf}} | * The **NTL language specification**: {{:ntslib.pdf|pdf}} | ||
| * Benchmark [[https://github.com/hhojjat/NTSLib|examples]] | * Benchmark [[https://github.com/hhojjat/NTSLib|examples]] | ||
| - | * **Java** distribution: {{java-nts-1.0.0.tgz|java-nts.tgz}} (build of 2011/12/19) | + | * **Java** distribution: {{:nts-java.tgz|nts-java.tgz}} (build of 2013/01/14) |
| * **OCaml** distribution: {{ocaml-nts.tgz|ocaml-nts.tgz}} (build of 2012/07/11) | * **OCaml** distribution: {{ocaml-nts.tgz|ocaml-nts.tgz}} (build of 2012/07/11) | ||