aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2002-07-17Update versions/TODODavid Aspinall
2002-07-17Added subterm help popup facilityDavid Aspinall
2002-07-17Add span-string.David Aspinall
2002-07-17Add proof-shell-invisible-cmd-get-resultDavid Aspinall
2002-07-17Add pg-subterm-help-cmdDavid Aspinall
2002-07-17CleanupsDavid Aspinall
2002-07-17Fix span-string, span-objectDavid Aspinall
2002-07-16Refactor several variable names; clean up, doc subterm markup and output disp...David Aspinall
2002-07-16Fix typo.David Aspinall
2002-07-16Add conversion of idmarkup to subtermDavid Aspinall
2002-07-16Updated.David Aspinall
2002-07-16Add { and } exampleDavid Aspinall
2002-07-16Fix crucial typoDavid Aspinall
2002-07-16Updated.David Aspinall
2002-07-16Make tags for both manuals.David Aspinall
2002-07-16Tweak link creation/deletionDavid Aspinall
2002-07-16MinorDavid Aspinall
2002-07-16UpdatedDavid Aspinall
2002-07-16Updated.David Aspinall
2002-07-16Buggy tagDavid Aspinall
2002-07-16Fix monospace typeface nameDavid Aspinall
2002-07-16Add more nagsDavid Aspinall
2002-07-16Edit for brevityDavid Aspinall
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-18 08:00:49 +0000