Vous avez reçu un message "Your GitLab account has been locked ..." ? Pas d'inquiétude : lisez cet article https://docs.gricad-pages.univ-grenoble-alpes.fr/help/unlock/

Commit 15c3bf1d authored by Erwan Jahier's avatar Erwan Jahier
Browse files

lurette 0.104 Fri, 18 Oct 2002 16:23:42 +0200 by jahier

Parent-Version:      0.103
Version-Log:

source/lurettetop.ml:
source/util.ml:
   use explicit file name so that, e.g., show_luc, is always able to find
   the file it is supposed to show.

   Allow users to put extension or not for the sut or oracle files,
   being at the prompt or at the invocation.

   cp lurette.ml and lurette.mli in the temp dir and compile it there
   to avoid that everyone is writing on the source dir which
   prevent the next user to use lurette...

Makefile.common.in:
   INCDIRS Ocamlmakeke file var is not supposed to contains path to .h C files
   to include but .mli ocml ones !!!

Project-Description: Lurette
parent 70fca1e8
......@@ -7,7 +7,7 @@
(test/passerelle.luc 984 1032789516 b/17_passerelle 1.8)
(doc/synthese 2556 1007379917 b/2_synthese 1.1)
(test/temp_float.luc 728 1032789516 b/51_temp_float 1.3)
(test/ControleurPorte.rif.exp 4756 1034006019 b/29_Controleur 1.10)
(test/ControleurPorte.rif.exp 4860 1034951022 b/29_Controleur 1.11)
(doc/ocamldoc.sty 1380 1008328137 b/12_ocamldoc.s 1.1)
(mlcuddidl/Makefile 7150 1034006019 d/9_Makefile 1.1)
(test/tram_simple.h 1746 1013519411 b/25_tram_simpl 1.1)
......@@ -18,16 +18,16 @@
(cuddaux/cuddauxMisc.c 13842 1034006019 c/27_cuddauxMis 1.1)
(mlcuddidl/sedscript 203 1034006019 c/38_sedscript 1.1)
(source/automata.mli 3396 1033738731 b/46_automata.m 1.3)
(test/heater_int.rif.exp 860 1034006019 b/28_heater_int 1.9)
(test/heater_int.rif.exp 886 1034951022 b/28_heater_int 1.10)
(source/ne.ml 9140 1033723811 c/21_ne.ml 1.1)
(source/value.mli 1101 1033723811 c/24_value.mli 1.1)
(user-rules.skel 973 1034006019 c/25_user-rules 1.1)
(source/Makefile.gen_stubs 176 1034351455 b/42_Makefile.g 1.4)
(test/temp_int.luc 685 1033723811 b/50_temp_int.e 1.3)
(source/luc_exe.ml 12191 1034351455 b/32_ima_exe.ml 1.21)
(test/heater_float.rif.exp 1459 1034006019 b/30_heater_flo 1.10)
(test/heater_float.rif.exp 1485 1034951022 b/30_heater_flo 1.11)
(source/graph.ml 2563 1027066799 14_graph.ml 1.7)
(ihm/xlurette/makefile 1283 1034006019 c/16_makefile 1.2)
(ihm/xlurette/makefile 1397 1034951022 c/16_makefile 1.3)
(test/usager.luc 495 1032789516 b/14_usager.env 1.9)
(mlcuddidl/manager.ml 8017 1034006019 c/47_manager.ml 1.1)
(cuddaux/cuddauxInt.h 2058 1034006019 c/28_cuddauxInt 1.1)
......@@ -40,28 +40,28 @@
(mlcuddidl/idd.ml 7061 1034006019 d/0_idd.ml 1.1)
(source/print.mli 1145 1033397911 46_print.mli 1.12)
(mlcuddidl/rdd.mli 7174 1034006019 c/40_rdd.mli 1.1)
(test/Makefile 100 1034351455 c/0_Makefile 1.6)
(test/Makefile 32 1034951022 c/0_Makefile 1.7)
(source/parse_env.ml 24584 1033723811 41_parse_env. 1.29)
(ihm/xlurette/xlurette_glade_main.ml 16705 1032789516 c/12_xlurette_g 1.6)
(ihm/xlurette/xlurette_glade_main.ml 17634 1034951022 c/12_xlurette_g 1.7)
(demo/chaudiere/chaudiere_oracle.lus 107 1031732392 c/8_chaudiere_ 1.1)
(source/solver.ml 31802 1033732198 39_solver.ml 1.32)
(test/ControleurPorte.lus 3219 1032940601 c/17_Controleur 1.1)
(source/lurette.ml 13532 1033738731 12_lurette.ml 1.54)
(source/Makefile 1050 1034351455 c/20_Makefile 1.5)
(source/util.ml 18633 1034351455 35_util.ml 1.28)
(source/Makefile 1082 1034951022 c/20_Makefile 1.6)
(source/util.ml 18695 1034951022 35_util.ml 1.29)
(mlcuddidl/manager.mli 7912 1034006019 c/46_manager.ml 1.1)
(test/time.res 5580 1034006019 b/49_time.res 1.15)
(doc/Interface_draft 5232 1003928781 19_Interface_ 1.1)
(source/sim2chro.mli 1455 1027943375 b/23_sim2chro.m 1.5)
(source/command_line_luc_exe.mli 1082 1034006019 b/34_command_li 1.5)
(source/Makefile.lucky 1987 1034351455 b/41_Makefile.i 1.6)
(source/Makefile.lucky 2001 1034951022 b/41_Makefile.i 1.7)
(TAGS 9825 1007379917 21_TAGS 1.6)
(test/giro/onlyroll.lus 18298 1031732392 c/7_onlyroll.l 1.1)
(mlcuddidl/rdd.ml 8746 1034006019 c/41_rdd.ml 1.1)
(source/Makefile.lurette_lib 1726 1034351455 c/2_Makefile.l 1.6)
(source/Makefile.lurette_lib 1739 1034951022 c/2_Makefile.l 1.7)
(source/parse_env.mli 1025 1033738731 40_parse_env. 1.10)
(source/gen_stubs.ml 33599 1034351455 24_generate_l 1.38)
(OcamlMakefile 22610 1034351455 17_OcamlMakef 1.44)
(OcamlMakefile 22626 1034951022 17_OcamlMakef 1.45)
(source/command_line.ml 4625 1031053030 b/20_command_li 1.8)
(mlcuddidl/bdd.ml 10889 1034006019 d/6_bdd.ml 1.1)
(mlcuddidl/idd_caml.c 15964 1034006019 c/50_idd_caml.c 1.1)
......@@ -69,26 +69,26 @@
(test/porte.luc 1050 1032789516 b/16_porte.env 1.8)
(make_lurette 1306 1034006019 27_make_luret 1.17)
(source/control.ml 4416 1030975996 c/4_control.ml 1.3)
(ihm/xlurette/xlurette_glade_interface.ml 28245 1032531447 c/15_xlurette_g 1.3)
(source/lurettetop.ml 24587 1034351455 c/1_lurettetop 1.13)
(ihm/xlurette/xlurette_glade_interface.ml 30194 1034951022 c/15_xlurette_g 1.4)
(source/lurettetop.ml 25200 1034951022 c/1_lurettetop 1.14)
(mlcuddidl/README 1574 1034006019 d/8_README 1.1)
(cuddaux/README 1427 1034006019 c/34_README 1.1)
(source/ne.mli 2376 1033723811 c/22_ne.mli 1.1)
(README 1521 1034351455 10_README 1.3)
(README 2264 1034951022 10_README 1.4)
(test/vrai_tram.lus 564 1027066799 b/6_vrai_tram. 1.2)
(source/env_state.ml 20707 1033125605 51_env_state. 1.29)
(mlcuddidl/manager_caml.c 39233 1034006019 c/45_manager_ca 1.1)
(mlcuddidl/mtbdd.mli 4395 1034006019 c/43_mtbdd.mli 1.1)
(source/env.mli 2027 1033738731 15_env.mli 1.16)
(mlcuddidl/rdd_caml.c 41613 1034006019 c/39_rdd_caml.c 1.1)
(Makefile.common.in 600 1034351455 d/12_Makefile.c 1.1)
(user-rules 14331 1034351455 c/14_myrules 1.10)
(Makefile.common.in 528 1034951022 d/12_Makefile.c 1.2)
(user-rules 14564 1034951022 c/14_myrules 1.11)
(doc/archi.fig 3693 1003928781 20_archi.fig 1.1)
(source/lurette.mli 448 1016027474 11_lurette.ml 1.12)
(source/gne.mli 1552 1033397911 b/36_gne.mli 1.4)
(test/giro/giro.luc 2755 1033738731 c/6_giro.ima 1.4)
(source/show_env.mli 1091 1033738731 42_show_env.m 1.8)
(Makefile.lurette 647 1034351455 b/38_Makefile.l 1.13)
(Makefile.lurette 546 1034951022 b/38_Makefile.l 1.14)
(source/luc_exe.mli 447 1033738731 b/31_ima_exe.ml 1.2)
(lurette.dep.dot 49 1007651448 b/4_lurette.de 1.2)
(mlcuddidl/bdd.idl 18233 1034006019 d/7_bdd.idl 1.1)
......@@ -96,7 +96,7 @@
(mlcuddidl/manager.idl 11024 1034006019 c/48_manager.id 1.1)
(test/vrai_tram.c 3060 1027066799 b/8_vrai_tram. 1.3)
(source/command_line.mli 1442 1031053030 b/21_command_li 1.7)
(ihm/xlurette/xlurette.glade 43485 1032531447 c/13_xlurette.g 1.4)
(ihm/xlurette/xlurette.glade 45911 1034951022 c/13_xlurette.g 1.5)
(demo/chaudiere/chaudiere.luc 446 1032789516 c/11_chaudiere. 1.5)
(source/graph.mli 2218 1027066799 13_graph.mli 1.9)
(mlcuddidl/bdd_caml.c 57199 1034006019 d/4_bdd_caml.c 1.1)
......
......@@ -2,19 +2,14 @@
#
#
# Where the lurette source files are
LURETTE_PATH := @abs_srcdir@
# Where to install nibs, libs, and include files
BIN_INSTALL_DIR = $(LURETTE_PATH)/bin
LIB_INSTALL_DIR = $(LURETTE_PATH)/lib
INC_INSTALL_DIR = $(LURETTE_PATH)/include
# Where to find the cudd bdd libs
INCDIRS = $(LURETTE_PATH)/include @LIB_CUDD_PATH@
LIBDIRS = $(LURETTE_PATH)/lib @INC_CUDD_PATH@
INCDIRS = $(LURETTE_PATH)/lib
LIBDIRS = $(LURETTE_PATH)/lib @LIB_CUDD_PATH@ @LIB_CUDD_PATH@
# OCAML tools
OCAMLC = @OCAMLC@
......
......@@ -2,7 +2,7 @@
# Makefile for lurette based on OcamlMakefile
#
-include ../Makefile.common
-include $(LURETTE_PATH)/Makefile.common
OCAMLNCFLAGS = -inline 10 -noassert -unsafe
......@@ -11,8 +11,6 @@ ifndef OCAMLFLAGS
endif
LIBS = str $(LURETTE_PATH)/lib/lurette_lib # mlpoly
INCDIRS = /home/jahier/include
LIBDIRS = /home/jahier/lib
SOURCES_C = $(SUT) lurette_stub__sut.c lurette_stub__sut_idl.idl \
......@@ -20,8 +18,7 @@ SOURCES_C = $(SUT) lurette_stub__sut.c lurette_stub__sut_idl.idl \
SOURCES_OCAML = \
$(PWD)/lurette_stub.ml \
$(LURETTE_PATH)/source/lurette.mli $(LURETTE_PATH)/source/lurette.ml
lurette_stub.ml lurette.mli lurette.ml
SOURCES = $(SOURCES_C) $(SOURCES_OCAML)
......
......@@ -5,14 +5,14 @@
# For updates see:
# http://www.oefai.at/~markus/ocaml_sources
#
# $Id: OcamlMakefile 1.44 Fri, 11 Oct 2002 17:50:55 +0200 jahier $
# $Id: OcamlMakefile 1.45 Fri, 18 Oct 2002 16:23:42 +0200 jahier $
#
###########################################################################
# Set these variables to the names of the sources to be processed and
# the result variable. Order matters during linkage!
-include Makefile.common
-include $(LURETTE_PATH)/Makefile.common
SOURCES_LURETTE_LIB = \
$(LURETTE_PATH)/source/util.ml \
......
* WHAT IS IT?
* INSTALLATION
The lucky package is a set of tools that let one test and simulate
reactive programs written in lustre.
In order to use and install it, you need somehow in your paths:
In order to install and use it, you need:
(1) An ocaml compiler (version 3.02 or higher):
(a) An ocaml compiler (version 3.02 or higher):
http://caml.inria.fr/
(2) The CamlIDL stub code generator (version 1.04):
(b) The CamlIDL stub code generator (version 1.04):
http://caml.inria.fr/camlidl/
(3) The BDD library CUDD (version 2.3.1)
Also, it is better if you also have dot (graph drawing), and gv
(post-script viewing). To use xlurette, you probably need GTK.
Also, you probably want to install the academic lustre compilers
before ;-)
-o-
* BINARY VERSION INSTALLATION
XXX
-o-
* SOURCE VERSION INSTALLATION
(c) The BDD library CUDD (version 2.3.1)
http://vlsi.colorado.edu/~fabio/CUDD/cuddIntro.html
Then you (ougth to) just need to:
-> tar xvfz lurette-01-01-2004.tgz
-> cd lurette-01-01-2004/
-> autoconf
-> ./configure --with-cudd-lib-dir=<path to cudd lib dir> --with-cudd-include-dir=<path to cudd include dir>
-> make
Then you (ougth to) just need to:
(1) tar xvfz lucky-dd-mm-yyy.tgz
(2) cd lucky-dd-mm-yyy/
(3) autoconf
(4) ./configure --with-cudd-lib-dir=<path to cudd lib dir>
--with-cudd-include-dir=<path to cudd include dir>
(5) make
* USE
The INSTALLATION step ougth to have generated in
lurette-01-01-2004/bin the following binaries:
This INSTALLATION step ougth to have generated in lucky-dd-mm-yyy/bin
the following binaries:
lurette-01-01-2004/bin/lurettetop:
lucky-dd-mm-yyy/bin/lurettetop:
lurettetop is a top level loop that let one test
reactive programs written in lustre.
You can type help at the prompt for more info.
lurette-01-01-2004/bin/xlurette:
lucky-dd-mm-yyy/bin/xlurette:
xlurette is a GUI build on top of lurettetop. It is
probably your best entry point if you want to
(automatically) test your lustre programs.
lurettetop can be useful either if xlurette is broken
or if (like me) your are not a GUI-clickodrom fan.
lurette-01-01-2004/bin/lucky:
lucky-dd-mm-yyy/bin/lucky:
Previous tools use a descrition a the environement
contained in a .luc files.
lurette-01-01-2004/bin/show_luc:
lucky-dd-mm-yyy/bin/show_luc:
This program lets you vizualise .luc files offline.
In order to use those binaries, you first need
to set the environment variable LURETTE_PATH
to
\ No newline at end of file
-o-
* USE
In order to use those binaries, you need to:
(1) set the environment variable LUCKY_PATH to the path to the
lucky-dd-mm-yyyy/ directory, e.g., to do something like:
setenv LUCKY_PATH "/usr/local/tool/lucky-dd-mm-yyyy"
(2) and then eventually to add /usr/local/tool/lucky-dd-mm-yyyy/bin
to your PATH env variable.
-o-
-include $(LURETTE_PATH)/Makefile.common
ifndef BIN_INSTALL_DIR
BIN_INSTALL_DIR := ../../bin
......@@ -6,6 +8,7 @@ endif
xlurette: dummy
mlglade xlurette.glade
ocamlc -c -I +lablgtk -labels -c xlurette_glade_interface.ml
ocamlc -c -i -I +lablgtk -labels -c xlurette_glade_callbacks.ml
ocamlc -c -I +lablgtk -c xlurette_glade_main.ml
......@@ -13,6 +16,7 @@ xlurette: dummy
xlurette_glade_callbacks.cmo xlurette_glade_interface.cmo xlurette_glade_main.cmo
xlurette.opt: dummy
mlglade xlurette.glade
ocamlopt -c -I +lablgtk -labels -c xlurette_glade_interface.ml
ocamlopt -c -I +lablgtk -labels -c xlurette_glade_callbacks.ml
ocamlopt -c -I +lablgtk -c xlurette_glade_main.ml
......@@ -20,6 +24,7 @@ xlurette.opt: dummy
xlurette_glade_callbacks.cmx xlurette_glade_interface.cmx xlurette_glade_main.cmx
xlurette.opt_opt: dummy
mlglade xlurette.glade
ocamlopt.opt -c -I +lablgtk -labels -c xlurette_glade_interface.ml
ocamlopt.opt -c -I +lablgtk -labels -c xlurette_glade_callbacks.ml
ocamlopt.opt -c -I +lablgtk -c xlurette_glade_main.ml
......@@ -28,7 +33,7 @@ xlurette.opt_opt: dummy
install: xlurette
mv xlurette $(BIN_INSTALL_DIR)
cp xlurette $(BIN_INSTALL_DIR)
clean:
......
......@@ -149,93 +149,6 @@
</child>
</widget>
<widget>
<class>GtkButton</class>
<name>browse_ima</name>
<border_width>3</border_width>
<tooltip>Browse an environment</tooltip>
<can_focus>True</can_focus>
<signal>
<name>clicked</name>
<handler>browse_env_clicked</handler>
<last_modification_time>Wed, 11 Sep 2002 14:38:30 GMT</last_modification_time>
</signal>
<label>Browse</label>
<relief>GTK_RELIEF_NORMAL</relief>
<child>
<left_attach>2</left_attach>
<right_attach>3</right_attach>
<top_attach>1</top_attach>
<bottom_attach>2</bottom_attach>
<xpad>0</xpad>
<ypad>0</ypad>
<xexpand>False</xexpand>
<yexpand>False</yexpand>
<xshrink>False</xshrink>
<yshrink>False</yshrink>
<xfill>True</xfill>
<yfill>False</yfill>
</child>
</widget>
<widget>
<class>GtkButton</class>
<name>browse_sut</name>
<border_width>2</border_width>
<tooltip>Browse a file to test</tooltip>
<can_focus>True</can_focus>
<signal>
<name>clicked</name>
<handler>browse_sut_clicked</handler>
<last_modification_time>Wed, 11 Sep 2002 13:55:20 GMT</last_modification_time>
</signal>
<label>Browse</label>
<relief>GTK_RELIEF_NORMAL</relief>
<child>
<left_attach>2</left_attach>
<right_attach>3</right_attach>
<top_attach>0</top_attach>
<bottom_attach>1</bottom_attach>
<xpad>0</xpad>
<ypad>0</ypad>
<xexpand>False</xexpand>
<yexpand>False</yexpand>
<xshrink>False</xshrink>
<yshrink>False</yshrink>
<xfill>True</xfill>
<yfill>False</yfill>
</child>
</widget>
<widget>
<class>GtkButton</class>
<name>browse_oracle</name>
<border_width>3</border_width>
<tooltip>Browse an oracle</tooltip>
<can_focus>True</can_focus>
<signal>
<name>clicked</name>
<handler>browse_oracle_clicked</handler>
<last_modification_time>Wed, 11 Sep 2002 14:38:45 GMT</last_modification_time>
</signal>
<label>Browse</label>
<relief>GTK_RELIEF_NORMAL</relief>
<child>
<left_attach>2</left_attach>
<right_attach>3</right_attach>
<top_attach>2</top_attach>
<bottom_attach>3</bottom_attach>
<xpad>0</xpad>
<ypad>0</ypad>
<xexpand>False</xexpand>
<yexpand>False</yexpand>
<xshrink>False</xshrink>
<yshrink>False</yshrink>
<xfill>True</xfill>
<yfill>False</yfill>
</child>
</widget>
<widget>
<class>GtkButton</class>
<name>show_env_button</name>
......@@ -424,6 +337,149 @@
<yfill>False</yfill>
</child>
</widget>
<widget>
<class>GtkHBox</class>
<name>hbox11</name>
<homogeneous>False</homogeneous>
<spacing>0</spacing>
<child>
<left_attach>2</left_attach>
<right_attach>3</right_attach>
<top_attach>1</top_attach>
<bottom_attach>2</bottom_attach>
<xpad>0</xpad>
<ypad>0</ypad>
<xexpand>False</xexpand>
<yexpand>False</yexpand>
<xshrink>False</xshrink>
<yshrink>False</yshrink>
<xfill>True</xfill>
<yfill>True</yfill>
</child>
<widget>
<class>GtkToolbar</class>
<name>toolbar5</name>
<orientation>GTK_ORIENTATION_HORIZONTAL</orientation>
<type>GTK_TOOLBAR_ICONS</type>
<space_size>5</space_size>
<space_style>GTK_TOOLBAR_SPACE_EMPTY</space_style>
<relief>GTK_RELIEF_NORMAL</relief>
<tooltips>True</tooltips>
<child>
<padding>0</padding>
<expand>False</expand>
<fill>False</fill>
</child>
<widget>
<class>GtkButton</class>
<child_name>Toolbar:button</child_name>
<name>button29</name>
<tooltip>Browse for an environment file</tooltip>
<signal>
<name>clicked</name>
<handler>browse_env_clicked</handler>
<last_modification_time>Fri, 18 Oct 2002 11:05:41 GMT</last_modification_time>
</signal>
<label></label>
<icon>open.xpm</icon>
</widget>
<widget>
<class>GtkButton</class>
<child_name>Toolbar:button</child_name>
<name>button30</name>
<tooltip>Browse to add an environment to the curent one(s)</tooltip>
<signal>
<name>clicked</name>
<handler>add_env_clicked</handler>
<last_modification_time>Fri, 18 Oct 2002 11:05:19 GMT</last_modification_time>
</signal>
<label></label>
<icon>open_plus.xpm</icon>
</widget>
</widget>
</widget>
<widget>
<class>GtkToolbar</class>
<name>toolbar6</name>
<orientation>GTK_ORIENTATION_HORIZONTAL</orientation>
<type>GTK_TOOLBAR_ICONS</type>
<space_size>5</space_size>
<space_style>GTK_TOOLBAR_SPACE_EMPTY</space_style>
<relief>GTK_RELIEF_NORMAL</relief>
<tooltips>True</tooltips>
<child>
<left_attach>2</left_attach>
<right_attach>3</right_attach>
<top_attach>0</top_attach>
<bottom_attach>1</bottom_attach>
<xpad>0</xpad>
<ypad>0</ypad>
<xexpand>False</xexpand>
<yexpand>False</yexpand>
<xshrink>False</xshrink>
<yshrink>False</yshrink>
<xfill>True</xfill>
<yfill>False</yfill>
</child>
<widget>
<class>GtkButton</class>
<child_name>Toolbar:button</child_name>
<name>button32</name>
<tooltip>Browse for a reactive program file to test</tooltip>
<signal>
<name>clicked</name>
<handler>browse_sut_clicked</handler>
<last_modification_time>Fri, 18 Oct 2002 12:08:35 GMT</last_modification_time>
</signal>
<label></label>
<icon>open.xpm</icon>
</widget>
</widget>
<widget>
<class>GtkToolbar</class>
<name>toolbar7</name>
<orientation>GTK_ORIENTATION_HORIZONTAL</orientation>
<type>GTK_TOOLBAR_ICONS</type>
<space_size>5</space_size>
<space_style>GTK_TOOLBAR_SPACE_EMPTY</space_style>
<relief>GTK_RELIEF_NORMAL</relief>
<tooltips>True</tooltips>
<child>
<left_attach>2</left_attach>
<right_attach>3</right_attach>
<top_attach>2</top_attach>
<bottom_attach>3</bottom_attach>
<xpad>0</xpad>
<ypad>0</ypad>
<xexpand>False</xexpand>
<yexpand>False</yexpand>
<xshrink>False</xshrink>
<yshrink>False</yshrink>
<xfill>True</xfill>
<yfill>False</yfill>
</child>
<widget>
<class>GtkButton</class>
<child_name>Toolbar:button</child_name>
<name>button33</name>
<tooltip>Browse for an oracle</tooltip>
<signal>
<name>clicked</name>
<handler>browse_oracle_clicked</handler>
<last_modification_time>Fri, 18 Oct 2002 12:12:53 GMT</last_modification_time>
</signal>
<label></label>
<icon>open.xpm</icon>
</widget>
</widget>
</widget>
</widget>
......@@ -455,31 +511,31 @@
<widget>
<class>GtkHBox</class>
<name>hbox1</name>
<border_width>2</border_width>
<height>106</height>
<homogeneous>False</homogeneous>
<border_width>11</border_width>
<homogeneous>True</homogeneous>
<spacing>4</spacing>
<child>
<shrink>True</shrink>
<resize>False</resize>
<resize>True</resize>
</child>
<widget>
<class>GtkToolbar</class>
<name>toolbar4</name>
<border_width>1</border_width>
<border_width>6</border_width>
<can_focus>True</can_focus>
<has_focus>True</has_focus>
<orientation>GTK_ORIENTATION_HORIZONTAL</orientation>
<type>GTK_TOOLBAR_ICONS</type>
<space_size>3</space_size>
<space_size>20</space_size>
<space_style>GTK_TOOLBAR_SPACE_LINE</space_style>
<relief>GTK_RELIEF_HALF</relief>
<relief>GTK_RELIEF_NORMAL</relief>
<tooltips>True</tooltips>
<child>
<padding>0</padding>
<expand>False</expand>
<fill>False</fill>
<padding>5</padding>
<expand>True</expand>
<fill>True</fill>
<pack>GTK_PACK_END</pack>
</child>
<widget>
......@@ -495,7 +551,7 @@
<handler>run_lurette</handler>
<last_modification_time>Thu, 19 Sep 2002 08:54:11 GMT</last_modification_time>
</signal>
<label>Run</label>
<label> </label>
<icon>run.xpm</icon>
</widget>
......@@ -512,7 +568,7 @@
<handler>call_sim2chro_clicked</handler>
<last_modification_time>Thu, 19 Sep 2002 08:50:07 GMT</last_modification_time>
</signal>
<label>Sim2chro</label>
<label> </label>
<icon>chrono.xpm</icon>
</widget>
......@@ -529,7 +585,7 @@
<handler>save_session</handler>
<last_modification_time>Thu, 19 Sep 2002 08:53:36 GMT</last_modification_time>
</signal>
<label>Save session</label>
<label> </label>
<icon>save.xpm</icon>
</widget>
......@@ -546,7 +602,7 @@
<handler>quit</handler>
<last_modification_time>Thu, 19 Sep 2002 08:53:53 GMT</last_modification_time>