index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
generic
/
pg-xml.el
Commit message (
Expand
)
Author
Age
*
Cleanups for save-excursion to avoid warnings in latest Emacs versions
David Aspinall
2010-07-08
*
Require cl for compilation
David Aspinall
2009-09-07
*
pg-xml-parse-buffer: generalise to take region arguments.
David Aspinall
2009-09-06
*
Missing unused function
David Aspinall
2009-09-05
*
Merge changes from Version4Branch.
David Aspinall
2008-07-24
*
Reduce compiler warnings. Minor fixes.
David Aspinall
2008-01-16
*
Many rearrangements for compatibility, efficient/correct compilation, namespa...
David Aspinall
2008-01-15
*
Fix some compile warnings: bug in pg-pgip-interpret-choice; move defsubsts to...
David Aspinall
2007-12-09
*
Dont overwrite distribution version of xml.el, only use fixed version for XEm...
David Aspinall
2005-09-30
*
Add pg-xml-cdata
David Aspinall
2004-10-05
*
Overhaul to use xml.el parsing and printing.
David Aspinall
2004-08-25
*
Note about use of this lib.
David Aspinall
2004-08-16
*
Update email and web addresses
David Aspinall
2004-02-08
*
Add pg-xml-encode-entities.
David Aspinall
2002-11-28
*
Disable message display when parsing xml strings.
David Aspinall
2002-11-14
*
Fix autoload
David Aspinall
2002-08-15
*
GPL
David Aspinall
2002-06-21
*
Add header to XML docs
David Aspinall
2002-03-21
*
Issue parsing messages
David Aspinall
2001-09-04
*
Clean-up compile
David Aspinall
2001-07-09
*
Copyright date updated
David Aspinall
2001-05-08
*
fixed format strings in message, error, etc.
Makarius Wenzel
2001-01-11
*
Add provide
David Aspinall
2000-12-07
*
Added pg-xml-parse-string function.
David Aspinall
2000-11-24
*
New file
David Aspinall
2000-06-01