diff options
| author | Ludovic Courtes | 2006-03-07 21:25:37 +0000 |
|---|---|---|
| committer | Ludovic Courtes | 2006-03-07 21:25:37 +0000 |
| commit | fc4718ee543e56a2da5271ced8be371b22b70322 (patch) | |
| tree | d0dd8b413baeb3d817b75c361991cf6aca964eb3 /etc/bigloo | |
| parent | bc9090d69ebe3c2612efd830b859d4c1c896aae0 (diff) | |
| parent | fa0b07b863a029896688805f411fc7e361f837f0 (diff) | |
| download | skribilo-fc4718ee543e56a2da5271ced8be371b22b70322.tar.gz skribilo-fc4718ee543e56a2da5271ced8be371b22b70322.tar.lz skribilo-fc4718ee543e56a2da5271ced8be371b22b70322.zip | |
Merge from lcourtes@laas.fr--2004-libre
Patches applied:
* lcourtes@laas.fr--2004-libre/skribilo--devel--1.2 (patch 60-62)
- Slightly optimized the resolution process (added `ast-resolved?').
- Various fixes in the documentation code.
- Lout engine: use `push-default-engine' and `pop-default-engine'.
git-archimport-id: lcourtes@laas.fr--2005-mobile/skribilo--devel--1.2--patch-38
Diffstat (limited to 'etc/bigloo')
0 files changed, 0 insertions, 0 deletions