issues
search
gdupont1
/
rodin-hs
A collection of Haskell modules for handling Rodin files
GNU General Public License v3.0
0
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Added a Void nature to \r, and extended explode slightly to remove an…
#13
gdupont1
closed
2 years ago
0
Crash on Windows
#12
gdupont1
closed
2 years ago
1
Issue 5
#11
gdupont1
closed
3 years ago
0
Issue 9
#10
gdupont1
closed
3 years ago
0
A miss word in the well definess clause
#9
Rpeter99
closed
3 years ago
1
An event that extends another event does not show this caracteristic in the tex file
#8
Rpeter99
opened
3 years ago
0
The possibility to name the output file
#7
Rpeter99
closed
3 years ago
2
Issue 4
#6
gdupont1
closed
3 years ago
0
The type notation of a Operator is not apears in the Tex format
#5
Rpeter99
closed
3 years ago
1
Theorems did not appears in the clause Theorems
#4
Rpeter99
closed
3 years ago
2
Comment not appears after the tex transformation
#3
Rpeter99
opened
3 years ago
1
Theory recursive definitions not showing in exported TeX
#2
gdupont1
closed
3 years ago
1
Lexer not parsing lambda correctly when directly followed by identifier
#1
gdupont1
closed
3 years ago
1