GtkSourceView language specification for the "Prometeus" distant learning system