#1087 Allow interleaving of F# and F* sources in a project#2067

Merged

nikswamy merged 3 commits intoFStarLang:nik_fsharp_extractionfrom mateuszbujalski:matbuj_fsharp_extraction

Jul 1, 2020

+638-379

Commits on Jun 18, 2020

FStarLang#1087 Allow interleaving of F# and F* sources in a project
mateuszbujalski
committed

Commits on Jun 19, 2020

FStarLang#1087 Few more modules added to ulib for F#
mateuszbujalski
committed
FStarLang#1087 Ensure that standard output and standard error from fstar.exe are passed to msbuild
mateuszbujalski
committed