index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
ide
/
minilib.mli
Commit message (
Expand
)
Author
Age
*
Coqide uses Glib to get the XDG_DATA/CONFIG_HOME/DIRS
pboutill
2012-09-12
*
Cleaned prerr_endline use.
ppedrot
2012-05-23
*
Revert copy/pasted function in to minilib thanks to clib.cma
pboutill
2012-05-23
*
Revert commit 15287 : the env variables are indeed access at launch-time
letouzey
2012-05-16
*
Fixed access to environment variables in CoqIDE. Up to now, those
ppedrot
2012-05-08
*
CoqIde files position is freedesktop compliant.
pboutill
2011-12-18
*
coqide default pref files are by default in /etc/xdg/coq/
pboutill
2011-11-21
*
CoqIdE configuration file won't pollute your home anymore
pboutill
2011-11-20
*
Coq_makefile : bug when a project file is not in the current directory.
pboutill
2011-09-01
*
safe_prerr_endline in Minilib
pboutill
2011-09-01
*
same_file in Minilib
pboutill
2011-09-01
*
Creation of ide/project_file.ml4
pboutill
2011-09-01
*
Menubar and toolbar in coqide using GtkUI & Gactions.
pboutill
2011-06-10
*
Ide: new option -coqtop <mycoqtop> + remove wrong quoting of args
letouzey
2011-03-28
*
Ide: more reorganisation and cleanup
letouzey
2011-03-25