Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Style for lists tweaked. | 2002-07-14 | ||
* | New files. | 2002-07-14 | ||
* | Cleanup html, fix URLs to final versions. | 2002-07-14 | ||
* | First customized versions | 2002-07-13 | ||
* | Fix up. Still ugly. | 2002-07-13 | ||
* | New files. | 2002-07-13 | ||
* | Tidy up source, improve titles. | 2002-07-13 | ||
* | New files. | 2002-07-13 | ||
* | Fix link in mozilla in click_to_go_back. | 2002-07-13 | ||
* | Change colour but not boldness | 2002-07-13 | ||
* | Remove length rant | 2002-07-13 | ||
* | Fix typo | 2002-07-13 | ||
* | Improve form | 2002-07-13 | ||
* | Triv | 2002-07-13 | ||
* | Link to page mentioned by emacs guy | 2002-07-13 | ||
* | Remove extra hr, use h3 | 2002-07-13 | ||
* | Use proofgeneral.org mailing addresses again. | 2002-07-13 | ||
* | Reduce size to keep it smaller than main header | 2002-07-13 | ||
* | Fix mailman links, remove subscription form from here. | 2002-07-13 | ||
* | Fix link | 2002-07-13 | ||
* | Fix layout a bit | 2002-07-13 | ||
* | Tweak mailing list details, order of items. | 2002-07-13 | ||
* | Compress header, shrink images | 2002-07-13 | ||
* | Reorder, include links here. | 2002-07-13 | ||
* | Reformat | 2002-07-13 | ||
* | Add favicon to head | 2002-07-13 | ||
* | Add note about favicon. | 2002-07-13 | ||
* | Add note about favicon. | 2002-07-13 | ||
* | Deleted file | 2002-07-13 | ||
* | New files. | 2002-07-13 | ||
* | Trivial | 2002-07-12 | ||
* | condition-case -> ignore-errors, comment. | 2002-07-12 | ||
* | Mention probs with tracing mode. | 2002-07-12 | ||
* | Add some nesting examples | 2002-07-12 | ||
* | Give link to develdownload for latest docs | 2002-07-02 | ||
* | Remove description of known bugs. | 2002-07-02 | ||
* | Remove FIXME: have added definition of font-lock-preprocessor-face | 2002-07-02 | ||
* | Add definition of font-lock-preprocessor-face | 2002-07-02 | ||
* | Updated. | 2002-07-01 | ||
* | Syntax error | 2002-07-01 | ||
* | Updates for 3.4 | 2002-07-01 | ||
* | Updated. | 2002-07-01 | ||
* | Set version tag for new release. | 2002-07-01 | ||
* | Fix date on news item | 2002-07-01 | ||
* | Use executable-find | 2002-07-01 | ||
* | proof-restart: also remove idiom internal spans. | 2002-07-01 | ||
* | Fix problem with GNU Emacs support: switch to multibyte in output buffers | 2002-07-01 | ||
* | Doc difference between isa and isar, fix prob with isa support. | 2002-07-01 | ||
* | Added isabelle-load-isar-keywords mimic of script startup. | 2002-07-01 | ||
* | Adjust syntax tables. | 2002-07-01 |