isabelle: File revisions

src/Tools/jEdit/README.html

2012-04-25	wenzelm	improved spelling;	file \| diff \| annotate
2012-04-16	wenzelm	updated for release;	file \| diff \| annotate
2012-03-15	wenzelm	Isabelle/jEdit supports user-defined Isar commands within the running session;	file \| diff \| annotate
2012-01-05	wenzelm	updated version information;	file \| diff \| annotate
2011-10-09	wenzelm	tuned; Isabelle2011-1	file \| diff \| annotate
2011-09-27	wenzelm	observe base URL of rendered document;	file \| diff \| annotate
2011-09-27	wenzelm	more README;	file \| diff \| annotate
2011-09-27	wenzelm	tuned README.html;	file \| diff \| annotate
2011-09-11	wenzelm	more README;	file \| diff \| annotate
2011-09-07	wenzelm	more README;	file \| diff \| annotate
2011-09-06	wenzelm	more README;	file \| diff \| annotate
2011-09-04	wenzelm	updated READMEs;	file \| diff \| annotate
2011-08-15	wenzelm	updated README;	file \| diff \| annotate
2011-06-22	wenzelm	prefer STIXGeneral -- hard to tell if better or worse;	file \| diff \| annotate
2011-06-20	wenzelm	literal unicode in README.html allows to copy/paste from Lobo output;	file \| diff \| annotate
2011-06-19	wenzelm	explain special control symbols;	file \| diff \| annotate
2011-06-08	wenzelm	simplified directory structure;	file \| diff \| annotate \| base

isabelle