[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Isarmathlib-devel] Symbolic links
|
From: |
Sanghyeon Seo |
|
Subject: |
[Isarmathlib-devel] Symbolic links |
|
Date: |
Mon, 30 Jun 2008 10:28:07 +0900 |
There are symbolic links in the repository under the directory
tiddlyisar. And they point to /home/slawek/... which does not exist on
my system.
What do you think about modifying tiddlyisar/ROOT.ML to do use_thy
"../IsarMathLib/Introduction", etc.?
--
Seo Sanghyeon
- [Isarmathlib-devel] Symbolic links,
Sanghyeon Seo <=