]> matita.cs.unibo.it Git - helm.git/blob - DEVEL/lablgtksourceview/README.where_is_lablgtksourceview
Syntax of paramodulation parameters changed.
[helm.git] / DEVEL / lablgtksourceview / README.where_is_lablgtksourceview
1 Where is LablGtkSourceView?
2 ===========================
3
4 LablGtkSourceView has been moved to Gna, this is the project page:
5
6   https://gna.org/projects/mlgtksourceview/
7
8 The source code is now hosted on the Gna's Subversion repository, here is a
9 quick checkout command:
10
11   svn co http://svn.gna.org/svn/mlgtksourceview/trunk mlgtksourceview
12
13 Have fun!
14
15 --
16 Tue, 22 Aug 2006 15:34:42 +0200 zack
17