Following the Isabelle2013 release I have released IsarMathLib 1.8.0. The new stuff comprises 5 new theory files about general topology (convergence of nets and filters and related continuity properties of
functions, generalizations of compactness and
connectedness, heredity and spectra of topological properties), contributed by Daniel de la Concepción Sáez. I finished the proof of continuity of sum of a list of elements of a topological group. The
ROOT.ML file was replaced by the ROOT file with new syntax defining IsarMathLib as an Isabelle session. Since IsaMakefile is not there anymore, do "isabelle build -D ./IsarMathLib" from the directory where it used to be to verify the theories and create the proof document and outline.