- Committer: Stephane Glondu
- Date: 2009-08-01 14:27:02 UTC
- Revision ID: git-v1:4173a610dd7f6d2908ac2ee3d86793730e69e688
Add debcheck support, and ghc6 example
| Filename | Latest Rev | Last Changed | Committer | Comment | Size | ||
|---|---|---|---|---|---|---|---|
 .. |
|||||||
bin
|
1 | 15 years ago | Stephane Glondu | Initial import |
|
||
|
examples
|
30 | 15 years ago | Stephane Glondu | Stm_monitor: add configuration file facilities |
|
||
|
lib
|
1 | 15 years ago | Stephane Glondu | Initial import |
|
||
|
plugins
|
17 | 15 years ago | Stephane Glondu | Setup plugin infrastructure |
|
||
.gitignore |
1 | 15 years ago | Stephane Glondu | Initial import | 26 bytes |
|
|
|
.header |
1 | 15 years ago | Stephane Glondu | Initial import | 776 bytes |
|
|
|
_tags |
18 | 15 years ago | Stephane Glondu | Make Stmlib a pack: move Lexer, Parser and Query t | 51 bytes |
|
|
|
COPYING |
1 | 15 years ago | Stephane Glondu | Initial import | 33.8 KB |
|
|
|
Makefile |
19 | 15 years ago | Stephane Glondu | Build system: generate inter-module dependency gra | 1.8 KB |
|
|
|
myocamlbuild.ml |
25 | 15 years ago | Stephane Glondu | Get rid of Stmlib pack | 5.5 KB |
|
|