| 8 months ago | wenzelm | 2011-09-18 | tentative announcement based on current NEWS; | file | diff | annotate |
| 8 months ago | wenzelm | 2011-09-07 | some updates for release; | file | diff | annotate |
| 16 months ago | wenzelm | 2011-01-17 | tuned; | file | diff | annotate |
| 16 months ago | wenzelm | 2011-01-17 | some announcement; | file | diff | annotate |
| 23 months ago | wenzelm | 2010-06-07 | tuned ANNOUNCEMENT; | file | diff | annotate |
| 23 months ago | haftmann | 2010-06-04 | first proposal for a announcement | file | diff | annotate |
| 24 months ago | wenzelm | 2010-05-28 | some updates for release; | file | diff | annotate |
| 2009-11-28 | wenzelm | 2009-11-28 | added "sos"; added subgoal focus; | file | diff | annotate |
| 2009-11-24 | haftmann | 2009-11-24 | consisten upper/lower case | file | diff | annotate |
| 2009-11-23 | wenzelm | 2009-11-23 | more tuning for release; | file | diff | annotate |
| 2009-11-23 | haftmann | 2009-11-23 | ANNOUNCE | file | diff | annotate |
| 2009-11-22 | wenzelm | 2009-11-22 | misc tuning and updates for official release; | file | diff | annotate |
| 2009-04-15 | wenzelm | 2009-04-15 | tuned; | file | diff | annotate |
| 2009-04-14 | wenzelm | 2009-04-14 | tuned; | file | diff | annotate |
| 2009-04-14 | wenzelm | 2009-04-14 | added Haskabelle -- in accordance to website/index.html version f397b96e3ad2; | file | diff | annotate |
| 2009-04-02 | wenzelm | 2009-04-02 | updates for Isabelle2009 release; | file | diff | annotate |
| 2008-06-05 | haftmann | 2008-06-05 | adjusted location of cambridge website | file | diff | annotate |
| 2008-06-03 | wenzelm | 2008-06-03 | some fine-tuning; | file | diff | annotate |
| 2008-06-03 | wenzelm | 2008-06-03 | reorganized isar-ref; | file | diff | annotate |
| 2008-05-28 | wenzelm | 2008-05-28 | tuned; | file | diff | annotate |
| 2008-05-28 | wenzelm | 2008-05-28 | added some notable improvements; | file | diff | annotate |
| 2008-05-28 | wenzelm | 2008-05-28 | prepared for Isabelle2008; | file | diff | annotate |
| 2007-11-06 | wenzelm | 2007-11-06 | tuned; | file | diff | annotate |
| 2007-11-06 | haftmann | 2007-11-06 | added autoquickcheck | file | diff | annotate |
| 2007-11-04 | wenzelm | 2007-11-04 | the all-important ML antiquotations are back; tuned; | file | diff | annotate |
| 2007-11-02 | haftmann | 2007-11-02 | tuned | file | diff | annotate |
| 2007-10-30 | haftmann | 2007-10-30 | fixed typo | file | diff | annotate |
| 2007-10-29 | haftmann | 2007-10-29 | fixed typo | file | diff | annotate |
| 2007-10-29 | haftmann | 2007-10-29 | added nbe | file | diff | annotate |
| 2007-10-27 | haftmann | 2007-10-27 | added list comprehension syntax | file | diff | annotate |
| 2007-10-26 | haftmann | 2007-10-26 | added hint for algebra | file | diff | annotate |
| 2007-10-22 | wenzelm | 2007-10-22 | tuned Nominal entry; | file | diff | annotate |
| 2007-10-02 | wenzelm | 2007-10-02 | tuned; | file | diff | annotate |
| 2007-10-01 | wenzelm | 2007-10-01 | preliminary material for Isabelle2007; | file | diff | annotate |
| 2005-09-28 | haftmann | 2005-09-28 | adjusted www links | file | diff | annotate |
| 2005-09-28 | wenzelm | 2005-09-28 | revert 'defs' advertisement; | file | diff | annotate |
| 2005-09-27 | wenzelm | 2005-09-27 | more details about incomplete 'defs'; | file | diff | annotate |
| 2005-09-21 | wenzelm | 2005-09-21 | tuned; | file | diff | annotate |
| 2005-09-21 | wenzelm | 2005-09-21 | updated for Isabelle2005; | file | diff | annotate |
| 2004-04-19 | kleing | 2004-04-19 | add HOL4 | file | diff | annotate |
| 2004-04-17 | kleing | 2004-04-17 | added sydney mirror | file | diff | annotate |
| 2004-04-17 | nipkow | 2004-04-17 | 2003 -> 2004 | file | diff | annotate |
| 2003-05-12 | nipkow | 2003-05-12 | *** empty log message *** | file | diff | annotate |
| 2003-05-12 | paulson | 2003-05-12 | tweaked | file | diff | annotate |
| 2003-05-12 | nipkow | 2003-05-12 | *** empty log message *** | file | diff | annotate |
| 2002-03-08 | wenzelm | 2002-03-08 | drop Stanford mirror; | file | diff | annotate |
| 2002-03-07 | wenzelm | 2002-03-07 | tuned; | file | diff | annotate |
| 2002-03-04 | wenzelm | 2002-03-04 | tuned; | file | diff | annotate |
| 2002-03-03 | kleing | 2002-03-03 | MicroJava news | file | diff | annotate |
| 2002-03-01 | wenzelm | 2002-03-01 | tuned; | file | diff | annotate |
| 2002-03-01 | prensani | 2002-03-01 | Completed annonce of HoareParallel | file | diff | annotate |
| 2002-03-01 | wenzelm | 2002-03-01 | tuned; | file | diff | annotate |
| 2002-03-01 | paulson | 2002-03-01 | lcp's try | file | diff | annotate |
| 2002-02-28 | wenzelm | 2002-02-28 | more stuff; | file | diff | annotate |
| 2002-02-27 | wenzelm | 2002-02-27 | tuned; | file | diff | annotate |
| 2002-02-24 | wenzelm | 2002-02-24 | tuned; | file | diff | annotate |
| 2001-09-27 | wenzelm | 2001-09-27 | prepared for Isabelle2001; | file | diff | annotate |
| 2001-02-13 | wenzelm | 2001-02-13 | tuned; | file | diff | annotate |
| 2001-02-13 | paulson | 2001-02-13 | swapped Fleuriot and Paulson | file | diff | annotate |
| 2001-02-05 | wenzelm | 2001-02-05 | tuned; | file | diff | annotate |