1
0
forked from GitHub/gf-core

add two more bullets about the Python and the Java bindings

This commit is contained in:
kr.angelov
2013-07-30 11:54:20 +00:00
parent 891c15f8c0
commit f6a152a617

View File

@@ -33,6 +33,8 @@ The new runtime provides the following new features:
the exhaustive generator. The goal is to reach the state where the exhaustive generator. The goal is to reach the state where
GF will provide state of the art theorem prover. GF will provide state of the art theorem prover.
[/src/runtime/c/ ../src/runtime/c/] [/src/runtime/c/ ../src/runtime/c/]
- There is a binding from Python to the C runtime in [/src/runtime/python/ ../src/runtime/python/].
- A volunteer to complete the binding from Java is highly wanted [/src/runtime/java/ ../src/runtime/java/].
===Resource Grammar Library=== ===Resource Grammar Library===