teaching

Introduction

We would like to have a pylint check for indentation in Python code. This will likely require a custom lint check. Here are some of the cases we want to handle:

Indent By 4 Spaces

Good:

def func():
    pass

my_list = [
    'a',
    'b',
]

Bad:

def func():
  pass

my_list = ['a',
           '

When a user has a version of gradebook.db that has not been upgraded to the latest version,
Formgrader will hang when it tries to open the database file.
The error is only visible in the log output and not propagated to the web interface.

There is an Autolab dark theme PR which allows each individual user to set whether they want the default Autolab theme, or the dark theme: autolab/Autolab#1139

This is a very promising PR but there are some issues with it which needs to be resolved before it can be merged.

1. Certain aspects of the light theme (the handin-panel, the font colors and type, the handin ta

git-cz serves the purpose here.

in particular, it doesn't support enough mathjax to support inference rules, or elements marked as math class.

the ultimate reason comes from https://github.com/ocaml-sf/learn-ocaml/tree/master/static/js/mathjax/jax/input

which does not include the tex.js script:

https://github.com/mathjax/MathJax/tree/master/es5/input

why just copy a partial mathjax? can we get this fixed?