Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
\chapter{The Basics};
authorwenzelm
Tue, 08 Jan 2002 17:31:43 +0100
changeset 12668 b839bd6e06c6
parent 12667 7e6eaaa125f2
child 12669 c1436070c21e
\chapter{The Basics};
doc-src/TutorialI/basics.tex file | annotate | diff | comparison | revisions 
--- a/doc-src/TutorialI/basics.tex	Tue Jan 08 16:09:09 2002 +0100
+++ b/doc-src/TutorialI/basics.tex	Tue Jan 08 17:31:43 2002 +0100
@@ -1,4 +1,4 @@
-\chapter{Basic Concepts}
+\chapter{The Basics}
 
 \section{Introduction}
isabelle