Commit Graph

7 Commits

Author SHA1 Message Date
Marek Nečada 5d858bfbeb Incremental progress
Former-commit-id: 408ece59a0ed37e6bcbe0cac8c527430a8a2f4d2
2019-07-27 20:04:56 +03:00
Marek Nečada b6b3a7a6ce finite systems WIP
Former-commit-id: a17d7e16285f22f5ff2798c96e8a5f62346a3541
2019-07-27 10:53:39 +03:00
Marek Nečada dc39a7dc9b Merge branch 'article' of necada:~/repo/qpms into article
Former-commit-id: f872dd01f1e30c9bc70000df7e1957bee3c61d70
2019-07-26 18:04:03 +03:00
Marek Nečada 551cc4b4ee Jdu domů
Former-commit-id: 65e57ed113cd9d567aef4c35c04f08315fb59ad5
2019-07-26 18:03:34 +03:00
Marek Nečada 9002fb9977 Jdu do práce
Former-commit-id: ccf5e91833d050e907ff4bff10ad52762dc5197d
2019-07-26 10:51:34 +03:00
Marek Nečada c87fc66b3c Test saving in newer LyX format
Former-commit-id: 68375ee370a993015157de1d58b149c9b925b360
2019-07-22 07:52:33 +03:00
Marek Nečada e26ca79a53 WSWF translations (TODO explicit form of the ops)
Former-commit-id: 44f286281af3f44208c2b1e2aabbe7234b0cd675
2019-07-20 13:54:17 +03:00