core.el
|
Fix the broken link in the license header
|
2022-12-19 21:07:48 +00:00 |
cube.el
|
Fix the broken link in the license header
|
2022-12-19 21:07:48 +00:00 |
flags.el
|
Fix the broken link in the license header
|
2022-12-19 21:07:48 +00:00 |
modeline.el
|
Fix the broken link in the license header
|
2022-12-19 21:07:48 +00:00 |
proof.el
|
Add Coq and agda cubes
|
2023-05-31 18:17:05 +01:00 |
statusbar.el
|
Fix the broken link in the license header
|
2022-12-19 21:07:48 +00:00 |
themes.el
|
Fix the broken link in the license header
|
2022-12-19 21:07:48 +00:00 |
utils.el
|
Fix the broken link in the license header
|
2022-12-19 21:07:48 +00:00 |
x.el
|
Move the monitor function to X module
|
2023-05-31 23:37:29 +01:00 |