GitXplorerGitXplorer
n

interactive-prover

public
1 stars
0 forks
0 issues

Commits

List of commits on branch master.
Unverified
e30ce021cc7c5735fa37affaff5e24836d491b59

fix tex output escaping

nna4zagin3 committed 11 years ago
Unverified
45e3c6b20058c93befb3955b382b258f634d762c

use pdflscape.sty

nna4zagin3 committed 11 years ago
Unverified
c933e0a752d575ab9f1507ac2cdaa810a272e1e4

change definition of identifier string

nna4zagin3 committed 11 years ago
Unverified
40e6a7468b990b6d658264afc7be80f332cb8445

add parseIdChar

nna4zagin3 committed 11 years ago
Unverified
a160f6c7b13f6cdd6dfaf0f5c86a90e85d226396

fix help text

nna4zagin3 committed 11 years ago
Unverified
2a2b3a1b833a74e7d6b344952f7ca68e54d91402

add test file

nna4zagin3 committed 11 years ago