doc-src/IsarRef/syntax.tex
2000-05-21 wenzelm 2000-05-21 replaced {{ }} by { };
2000-04-12 wenzelm 2000-04-12 added inst, insts;
2000-03-27 wenzelm 2000-03-27 fixed term syntax;
2000-03-21 wenzelm 2000-03-21 tuned;
2000-03-20 wenzelm 2000-03-20 goalspec;
2000-03-08 wenzelm 2000-03-08 tuned;
2000-01-26 wenzelm 2000-01-26 'name' syntax includes numbers;
2000-01-05 wenzelm 2000-01-05 comment: any number of texts;
1999-10-30 wenzelm 1999-10-30 tuned;
1999-10-21 wenzelm 1999-10-21 updated;
1999-09-04 wenzelm 1999-09-04 updated;
1999-09-01 wenzelm 1999-09-01 removed "*" method combinator;
1999-08-24 wenzelm 1999-08-24 draft release;
1999-08-23 wenzelm 1999-08-23 tuned;
1999-08-23 wenzelm 1999-08-23 tuned;
1999-08-22 wenzelm 1999-08-22 checkpoint;
1999-08-04 wenzelm 1999-08-04 tuned;
1999-08-03 wenzelm 1999-08-03 tuned; much more material;
1999-07-30 wenzelm 1999-07-30 even more stuff;
1999-07-30 wenzelm 1999-07-30 more;
1999-07-30 wenzelm 1999-07-30 more stuff;
1999-07-20 wenzelm 1999-07-20 checkpoint;
1999-07-19 wenzelm 1999-07-19 skeleton only;