From 72eeead8935ddf733022b2427c2cf2797126f570 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Mon, 30 Apr 2012 13:17:14 +0000 Subject: Change default Unicode Tokens font back to DejaVU Sans, more reliable without installing STIX. --- etc/isar/TokensAcid.thy | 92 ++++++++++++++++++++++++++----------------------- 1 file changed, 49 insertions(+), 43 deletions(-) (limited to 'etc') diff --git a/etc/isar/TokensAcid.thy b/etc/isar/TokensAcid.thy index 8b37d951..17597181 100644 --- a/etc/isar/TokensAcid.thy +++ b/etc/isar/TokensAcid.thy @@ -22,52 +22,58 @@ begin I recommend using StixGeneral for symbols. See http://www.stixfonts.org/ - This is the default for the symbol font if you have it installed. + To install on Ubuntu, try: + + sudo apt-get install fonts-stix + Other good choices are: Lucida Grande, Lucida Sans Unicode, or DejaVuLGC Sans Mono. - 1. \ \ \ \ \ \ \ \ \ \ - 2. \ \ \ \ \ \ \ \ \ \ - 3. \ \ \ \ \ \ \ \ \ \ - 4. \ \ \ \ \ \ \ \ \ \ - 5. \ \ \ \ \ \ \ \ \ \ - 6. \ \ \ \ \ \ \ \ \ \ - 7. \ \ \ \ \ \ \ \ \ \ - 8. \ \ \ \ \ \ \ \ \ \ - 9. \ \ \ \ \ \ \ \ \ \ - 10. \ \ \ \ \ \ \ \ \ \ - 11. \ \ \ \ \ \ \ \ \ \ - 12. \ \ \ \ \ \ \ \ \ \
- 13. \ \ \ \ \ \ \ \ \ \ - 14. \ \ \ \ \ \ \ \ \ \ - 15. \ \ \ \ \ \ \ \ \ \ - 16. \ \ \ \ \ \ \ \ \ \ - 17. \ \ \ \ \ \ \ \ \ \ - 18. \ \ \ \ \ \ \
\ \ \ - 19. \ \ \ \ \ \ \ \ \ \ - 20. \ \ \ \ \ \ \ \ \ \ - 21. \ \ \ \ \ \ \ \ \ \ - 22. \ \ \ \ \ \ \ \ \ \ - 23. \ \ \ \ \ \ \ \ \ \ - 24. \ \ \ \ \ \ \ \ \ \ - 25. \ \ \ \ \ \ \ \ \ \ - 26. \ \ \ \ \ \ \ \ \ \ - 27. \ \ \ \ \ \ \ \ \ \ - 28. \ \ \ \ \ \ \ \ \ \ - 29. \ \ \ \ \ \ \ \ \ \ - 30. \ \ \ \ \ \ \ \ \ \ - 31. \ \ \ \ \ \ \ \ \ \ - 32. \ \ \ \ \ \ \ \ \ \ - 33. \ \ \ \ \ \ \

\ \ \ \ \ \ \ - 37. \ \ \ \ \ \ \

\ \ \ - 38. \ \ \ \ \ \ \ \ \ \ - 39. \ \ \ \ \ \ \ \ \ \ - 40. \ \ \
\ \ \ \ \ \ \ - 41. \ \ \ \ \ \ \ \ \ \ - 42. \ \ \ \ \ + Unfortunately + + + 1. \ \ \ \ \ \ \ \ \ \ + 2. \ \ \ \ \ \ \ \ \ \ + 3. \ \ \ \ \ \ \ \ \ \ + 4. \ \ \ \ \ \ \ \ \ \ + 5. \ \ \ \ \ \ \ \ \ \ + 6. \ \ \ \ \ \ \ \ \ \ + 7. \ \ \ \ \ \ \ \ \ \ + 8. \ \ \ \ \ \ \ \ \ \ + 9. \ \ \ \ \ \ \ \ \ \ +10. \ \ \ \ \ \ \ \ \ \ +11. \ \ \ \ \ \ \ \ \ \ +12. \ \ \ \ \ \ \ \ \ \
+13. \ \ \ \ \ \ \ \ \ \ +14. \ \ \ \ \ \ \ \ \ \ +15. \ \ \ \ \ \ \ \ \ \ +16. \ \ \ \ \ \ \ \ \ \ +17. \ \ \ \ \ \ \ \ \ \ +18. \ \ \ \ \ \ \
\ \ \ +19. \ \ \ \ \ \ \ \ \ \ +20. \ \ \ \ \ \ \ \ \ \ +21. \ \ \ \ \ \ \ \ \ \ +22. \ \ \ \ \ \ \ \ \ \ +23. \ \ \ \ \ \ \ \ \ \ +24. \ \ \ \ \ \ \ \ \ \ +25. \ \ \ \ \ \ \ \ \ \ +26. \ \ \ \ \ \ \ \ \ \ +27. \ \ \ \ \ \ \ \ \ \ +28. \ \ \ \ \ \ \ \ \ \ +29. \ \ \ \ \ \ \ \ \ \ +30. \ \ \ \ \ \ \ \ \ \ +31. \ \ \ \ \ \ \ \ \ \ +32. \ \ \ \ \ \ \ \ \ \ +33. \ \ \ \ \ \ \

\ \ \ \ \ \ \ +37. \ \ \ \ \ \ \

\ \ \ +38. \ \ \ \ \ \ \ \ \ \ +39. \ \ \ \ \ \ \ \ \ \ +40. \ \ \
\ \ \ \ \ \ \ +41. \ \ \ \ \ \ \ \ \ \ +42. \ \ \ \ \ *) (* Tokens controlling layout and fonts: regions. -- cgit v1.2.3

\ \ \ +34. \ \ \ \ \ \ \ \ \ \ +35. \ \ \ \ \ \ \ \ \ \ +36. \ \ \

\ \ \ - 34. \ \ \ \ \ \ \ \ \ \ - 35. \ \ \ \ \ \ \ \ \ \ - 36. \ \ \