Update inf3135.rst