Restrucuring.

2018-11-27 09:41:04 +00:00 · 2018-11-27 09:41:04 +00:00 · bfdb5e5260
parent eddc01e1c9
commit bfdb5e5260
1 changed files with 1 additions and 1 deletions
--- a/examples/ROOTS
+++ b/examples/ROOTS
@ -1,4 +1,4 @@
-scholarly/
+academic_paper/
 technical_report/TR_my_commented_isabelle
 technical_report/TR_IsaDofApplications
 math_exam/MathExam