equal
deleted
inserted
replaced
1 \documentclass[12pt,a4paper]{report} |
1 \documentclass[12pt,a4paper]{report} |
2 \usepackage{lmodern} |
2 \usepackage{lmodern} |
3 \usepackage[T1]{fontenc} |
3 \usepackage[T1]{fontenc} |
4 \usepackage{supertabular} |
4 \usepackage{supertabular} |
5 \usepackage{graphicx} |
5 \usepackage{graphicx} |
6 \usepackage{iman,extra,isar,ttbox} |
6 \usepackage{iman,extra,isar} |
7 \usepackage[nohyphen,strings]{underscore} |
7 \usepackage[nohyphen,strings]{underscore} |
8 \usepackage{isabelle,isabellesym} |
8 \usepackage{isabelle,isabellesym} |
9 \usepackage{railsetup} |
9 \usepackage{railsetup} |
10 \usepackage{style} |
10 \usepackage{style} |
11 \usepackage{pdfsetup} |
11 \usepackage{pdfsetup} |