| changeset 40967 | 5eb59b62e7de |
| parent 30179 | c703c9368c12 |
| child 58249 | 180f1b3508ed |
| 40966:d5a198eb16b5 | 40967:5eb59b62e7de |
|---|---|
1 (* -*- coding: utf-8 -*- :encoding=utf-8: |
1 (* Author: Filip Maric |
2 Author: Filip Maric |
|
3 |
2 |
4 Example theory involving Unicode characters (UTF-8 encoding) -- |
3 Example theory involving Unicode characters (UTF-8 encoding) -- |
5 Conversion between Serbian cyrillic and latin letters (српска ћирилица и латиница) |
4 Conversion between Serbian cyrillic and latin letters (српска ћирилица и латиница) |
6 *) |
5 *) |
7 |
6 |