[prev in list] [next in list] [prev in thread] [next in thread] 

List:       kde-bugs-dist
Subject:    [Bug 58340] Tokens to unicode symbols. Encoding and Decoding.
From:       Jorge Adriano <jadrian () mat ! uc ! pt>
Date:       2003-05-11 11:30:09
[Download RAW message or body]

------- You are receiving this mail because: -------
You are on the CC list for the bug, or are watching someone who is.
     
http://bugs.kde.org/show_bug.cgi?id=58340     




------- Additional Comments From jadrian@mat.uc.pt  2003-05-11 13:30 -------
Created an attachment (id=1524)
 --> (http://bugs.kde.org/attachment.cgi?id=1524&action=view)
Screenshot of Xemacs with ProofGeneral (using X-Symbol). Isabelle source code.
[prev in list] [next in list] [prev in thread] [next in thread]