diff options
author | josh <josh@web> | 2011-04-13 11:29:11 -0700 |
---|---|---|
committer | XCB site <xcb@freedesktop.org> | 2011-04-13 11:29:11 -0700 |
commit | 367dda2fe245a67129ebfa7d318c640f064ae708 (patch) | |
tree | adb531e5d5150bc395817099d5935395bba49885 | |
parent | 44c19c9f4cb763e9481510617491d83963f2a068 (diff) |
Fix link to Z
-rw-r--r-- | DevelopersGuide.mdwn | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/DevelopersGuide.mdwn b/DevelopersGuide.mdwn index 520d352..9f73f78 100644 --- a/DevelopersGuide.mdwn +++ b/DevelopersGuide.mdwn @@ -82,7 +82,7 @@ The structure of XCB is designed to be as simple as possible while making common The X core requests have been implemented in XCB, as well as the BIG-REQUESTS, XC-Misc, SHAPE, SHM, DPMS, Render, Randr, GLX, [XFIXES](http://www.freedesktop.org/Software/FixesExt), [Composite](http://www.freedesktop.org/Software/CompositeExt), [DAMAGE](http://www.freedesktop.org/Software/XDamage) and [XEvIE](http://www.freedesktop.org/Software/XEvIE) extensions. A multithreaded demonstration program uses XCB for animated graphics in multiple windows. Other demos for Render, event monitoring, access to connection setup data, and DPMS also exist. -[[BartMassey]] has done some [[work|Publications]] on establishing correctness properties of the core data dispatch mechanism of XCB using a model of XCB written in the [Z](http://www.afm.sbu.ac.uk/z/) formal specification notation. This is good, since the mechanism is complex, and the previous version was known to have defects. +[[BartMassey]] has done some [[work|Publications]] on establishing correctness properties of the core data dispatch mechanism of XCB using a model of XCB written in the [Z](http://en.wikipedia.org/wiki/Z_notation) formal specification notation. This is good, since the mechanism is complex, and the previous version was known to have defects. ### Making a release |