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