how to write code generator for Isabelle by using pygments? i am thinking to write a machine learning code to generate code by learning example from Isabelle code
however, after google, not much information about this. -- https://mail.python.org/mailman/listinfo/python-list
