tuned;

added \<llangle>, \<rrangle>;
discontinued special rendering for old {* *};

tuned doc isar-ref;

added \<bbar>;

added \<sqdot>;

clarified signature: more explicit type Path.binding;
tuned;

more LaTeX symbols;

more latex symbols;

latex macro for \<^const>;

expand definitions of \DeclareOldFontCommand in traditional article.cls, e.g. KOMA-Script no longer provides these;

proper fall-back rendering of control symbol;

added \<^cancel> operator for unused text;

uniform typesetting of \isamarkupcmt and \isasymcomment;

tuned output in isar-ref manual;

obsolete (used to be part of old src/Pure/codegen.ML);

more embedded cartouche arguments;
more uniform LaTeX output for control symbols;

more symbols;

more latex symbols, notably for embedded ML;

tuned order for isar-ref;

symbol interpretation for \<circle>;

command '\<proof>' is an alias for 'sorry', with different typesetting;

\<struct> loses its rendering and is superseded by \<diamondop>;
tuned;

tuned order for isar-ref;

tuned order for isar-ref manual;

more arrow symbols;

more arrow symbols;

symbolic syntax "\<comment> text";

added symbol for \<hole> (from DejaVuSansMono and DejaVuSansMono-Bold version 2.34);

crude latex macro for \<newline;

support for nested text cartouches;
clarified Symbol.is_symbolic: exclude \<open> and \<close>;

discontinued rendering of obsolete \<onesuperior>, \<twosuperior>, \<threesuperior>;

default for \<euro> is now based on eurosym package, instead of slightly exotic babel/greek (which causes problems with the Gentoo installation on lxbroy2);

discontinued default rendering for Oheimb's double-space;

predefined LaTeX macros for \<bind> and \<then>;

isabellesym.sty: eliminated dependency on latin1, to allow documents using utf8 instead;

updated latex requirement;

removed Ids;

added setminus;
tuned;

tuned headers;

Added \<module> symbol.

added \nexists

ML_idf antiquotation

added \restriction

Added lots of AMS harpoons

Merged in license change from Isabelle2004

improved comments -- required by 'isatool latex -o syms';

fixed 'requires' comments, which are needed for printing of drafts;

Change of theory hierarchy: Group is now based in Lattice.

added isasymsome;

removed package marvosym (breaks \Rightarrow)
reduced number of packages for "unusual symbols"
replaced \textzerooldstyle by \mathbf{0} etc to get normal sized numbers

cent/currency: changed from wasysym to textcomp because of PDF problems

\isasymindex made text mode;

added zero--nine, euro;
tuned some text symbols;

\newcommand{\isasymindex}{\isamath{\i}};

\newcommand{\isasymstruct}{\isamath{\diamond}};

\isasymstruct;

added tturnstile, TTurnstile;

tuned order;

turn bullet into bold cdot (looks much better in printed output);

added eufrak symbols;
renamed \<ll> to \<lless> and \<gg> to \<ggreater>;

tuned \<And> and \<Or>;

added \<wrong> symbol;

added acute, cedilla, dieresis, hungarumlaut;

removed ID (avoid CVS conflicts with generated versions);

tuned symbols;

added \<a> ... \<z>;

proper order of symbols for genarated table in system manual;

added \mathcal A-Z;

replaced \isasymmacron by \isasyminverse;

proper symbol markup with \isamath, \isatext;
support sub/super scripts:

\isamath and \isatext: more abstract implementation of symbols;

added lparr, rparr;
tuned some symbols;

improved many symbols;
document package dependencies;

GPLed;

improved spacing of Sum, Prod, integral;
tuned;

more symbols;

tuned \isasymlbrace;

tuned \isasymlbrace;

added \isasymlbrace, \isasymrbrace, \isasymtop;

tuned syms;

*** empty log message ***

definitions of many Isabelle symbols;