mercurylang/mercury
1
0
Fork 0
mirror of https://github.com/Mercury-Language/mercury.git synced 2026-04-15 17:33:38 +00:00
Code Issues Projects Releases Wiki Activity

Update README files for non-C backends.

Browse Source 
README.{CSharp,Java,Erlang}:
    Delete stuff about the IL backend.

    Backjumping does not currently work on any of the non-C backends.
This commit is contained in:
Julien Fischer
2016-02-19 01:10:16 +11:00
parent cda0a54753
commit d0d6fc647f
3 changed files with 3 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
README.Java
View File

@@ -184,6 +184,7 @@ A. The following implementation features are not supported:
Mercury-level profiling
trailing
tabling
backjumping
In addition, the following individual procedures are incompletely
implemented: