Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
|
ntscomp_ntslib [2012/07/11 20:02] radu.iosif |
ntscomp_ntslib [2012/07/11 20:04] radu.iosif |
||
|---|---|---|---|
| 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.tgz|java-nts.tgz}} (build of 2011/12/19) | + | * **Java** distribution: {{java-nts-1.0.0.tgz|java-nts.tgz}} (build of 2011/12/19) |
| * **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) | ||