Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next 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) | ||