Nemh
|
ead16b3c62
|
Tex generation bug fixed (^(-1) cases) and add of a 'clear screen' like command (shift + del))
|
2015-06-06 20:17:01 +02:00 |
Nemh
|
b2b9f343b4
|
Scrolling implemented for big pretty print outputs
|
2015-06-06 19:45:38 +02:00 |
Nemh
|
c9c0fb8b56
|
Progress of the configuration menu, and some enhancements
|
2015-05-31 14:17:43 +02:00 |
Nemh
|
fc254b0784
|
First buggy commit for saving purposes
|
2015-05-16 19:06:38 +02:00 |
Nemh
|
9842ab8715
|
Fixing a TeX generation problem
|
2015-04-17 19:40:21 +02:00 |
Nemh
|
30e5039012
|
Start of the pretty print handling; actually using a 'popup' system
|
2015-04-17 00:42:15 +02:00 |
Nemhardy
|
2df77e6d8f
|
Initial commit - from Mike's work
|
2015-01-27 21:13:27 +01:00 |