Add FSTAR_USE_KRML_EXE; migrate from KRML_HOME to KRML_EXE#4349
Open
tahina-pro wants to merge 3 commits into
Open
Add FSTAR_USE_KRML_EXE; migrate from KRML_HOME to KRML_EXE#4349tahina-pro wants to merge 3 commits into
tahina-pro wants to merge 3 commits into
