aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2002-07-16Use linked style sheet, add charset metatag.David Aspinall
2002-07-16Dodgy patch to fix selection ordering of overlays. PBP works in Emacs now.David Aspinall
2002-07-16Patch so works without x-symbolDavid Aspinall
2002-07-16Set version tag for new release.David Aspinall
2002-07-16Link in LATESTNAMEDavid Aspinall
2002-07-16Fix commentDavid Aspinall
2002-07-16RefactoringDavid Aspinall
2002-07-16CommentsDavid Aspinall
2002-07-16Revert some premature changes in x-sym supportDavid Aspinall
2002-07-16Merge patches from Christoph, and add Isabelle/Isar capabilitiesDavid Aspinall
2002-07-16Add char-to-int and friends, borrowed from x-symbol-emacs.David Aspinall
2002-07-16Cleaning up PBP codeDavid Aspinall
2002-07-16Example of using pbpDavid Aspinall
2002-07-15Set version tag for new release.David Aspinall
2002-07-15Do not link devel release. Fix releasefinal to do that.David Aspinall
2002-07-15Cleanup, details on versionsDavid Aspinall
2002-07-15FixDavid Aspinall
2002-07-15TweakDavid Aspinall
2002-07-15Add stuff for alternative DTDDavid Aspinall
2002-07-15Put isa firstDavid Aspinall
2002-07-15Fix link, tag.David Aspinall
2002-07-14Updated.David Aspinall
2002-07-14Add linksDavid Aspinall
2002-07-14Mention developers list tooDavid Aspinall
2002-07-14Remove spurious white spaceDavid Aspinall
2002-07-14font-series -> weight fixes.David Aspinall
2002-07-14New files.David Aspinall
2002-07-14Updated.David Aspinall
2002-07-14Flag on cpDavid Aspinall
2002-07-14Updated.David Aspinall
2002-07-14wsDavid Aspinall
2002-07-14Remove use new parserDavid Aspinall
2002-07-14Stick 3.4 stuff on endDavid Aspinall
2002-07-14Tracing bugDavid Aspinall
2002-07-14Add check changesDavid Aspinall
2002-07-14Fix authorshipDavid Aspinall
2002-07-14Add prune to updateDavid Aspinall
2002-07-14Try to debugDavid Aspinall
2002-07-14Updated.David Aspinall
2002-07-14Set version tag for new release.David Aspinall
2002-07-14ReformatDavid Aspinall
2002-07-14TypoDavid Aspinall
2002-07-14Remove 3.3 download, encourage test version use.David Aspinall
2002-07-14Rewrite historyDavid Aspinall
2002-07-14Move 3.3 to oldrelDavid Aspinall
2002-07-14Improve layoutDavid Aspinall
2002-07-14Tweaks for forms.David Aspinall
2002-07-14Improve layout.David Aspinall
2002-07-14Simplify system infos.David Aspinall
2002-07-14New files.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-18 03:39:25 +0000