On 2017-07-05 17:07, Markulf Kohlweiss via fstar-club wrote:
Currently we don't have sufficient debugging output to enable local fixes and we need the help of specialists such as Antoine.
I accidentally broke it by adding more tools for this purpose this morning at your request. Namely the LASTUPDATE file is now publicly exposed at https://www.fstar-lang.org/LASTUPDATE Furthermore the update process is not a shell script rather than arcane PHP. It is named update.sh in the website source git.
A _______________________________________________ fstar-club mailing list fstar-club@lists.gforge.inria.fr https://lists.gforge.inria.fr/mailman/listinfo/fstar-club