isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip

main directory is now read by exit_use_dir, too;
1995-11-21, by clasohm
added call of store_datatype
1995-11-21, by clasohm
added functions for storing and retrieving information about datatypes
1995-11-21, by clasohm
removed make_chart
1995-11-21, by clasohm
replaced exit_use by exit_use_dir
1995-11-21, by clasohm
removed make_chart from ROOT.ML;
1995-11-21, by clasohm
moved from ../ROOT_NTP.ML;
1995-11-21, by clasohm
moved from ../ROOT_ABP.ML;
1995-11-21, by clasohm
moved to subdirectories ABP and NTP
1995-11-21, by clasohm
removed make_chart
1995-11-21, by clasohm
removed make_chart;
1995-11-21, by clasohm
replaced exit_use by exit_use_dir for subdirectories
1995-11-21, by clasohm
added local index.html files to rm_html.sh;
1995-11-21, by clasohm
index.html files are now made separatly for each subdirectory
1995-11-21, by clasohm
Moved comments into README.html
1995-11-19, by nipkow
New README.html fuile
1995-11-19, by nipkow
Better!
1995-11-18, by nipkow
Half a lexical analyzer generator.
1995-11-18, by nipkow
Added Lex
1995-11-17, by nipkow
*** empty log message ***
1995-11-17, by mueller
HTML version of README
1995-11-17, by clasohm
*** empty log message ***
1995-11-17, by nipkow
converted README to HTLM; replaced "CHOL" by "HOL"
1995-11-17, by clasohm
changed simpset of "HOL"
1995-11-17, by clasohm
README -> README.html
1995-11-17, by nipkow
Added Hoare.
1995-11-17, by nipkow
New directory.
1995-11-17, by nipkow
added rev_contrapos
1995-11-16, by nipkow
added ../Provers/simplifier.ML
1995-11-16, by clasohm
added link to README.html or README
1995-11-15, by clasohm
HTML version of README
1995-11-15, by clasohm
enlarged the images
1995-11-14, by clasohm
Put IOA back into test
1995-11-13, by nipkow
*** empty log message ***
1995-11-13, by mueller
added new arithmetic lemmas and the functions take and drop.
1995-11-12, by nipkow
Set eta_contract to true.
1995-11-12, by nipkow
Literature references for MiniML.
1995-11-10, by nipkow
changed for new naming style of HTML files (leading ".")
1995-11-07, by clasohm
added leading "." to HTML filenames
1995-11-07, by clasohm
removed quotes from types in consts section
1995-11-07, by clasohm
types in consts section of .thy files can now be specified without quotes
1995-11-07, by clasohm
removed image borders from index.html files
1995-11-03, by clasohm
replaced by index.html
1995-11-02, by clasohm
removed green arrow from HTML charts (replaced by "...")
1995-11-02, by clasohm
removed borders from images in charts;
1995-11-02, by clasohm
extended complex_typ
1995-11-02, by clasohm
added optional parameters
1995-10-27, by clasohm
script for removal of HTML files
1995-10-26, by clasohm
renamed chart00 and 00-chart to "index"
1995-10-26, by clasohm
renamed logics.html to index.html;
1995-10-26, by clasohm
renamed logics.html and 00-chart.html to index.html
1995-10-26, by clasohm
removed buggy FTP scripts and replaced them by a script for transfer
1995-10-26, by clasohm
scripts for transfer of HTML files to FTP server
1995-10-26, by clasohm
removed "duplicate" warning from store_thm_db;
1995-10-25, by clasohm
added init_html and make_chart
1995-10-25, by clasohm
added make_chart
1995-10-25, by clasohm
Removed Old_HOL
1995-10-25, by nipkow
Unused type sequ deleted
1995-10-25, by paulson
Hat to modify a proof because of chaned simpset for Prod.
1995-10-25, by nipkow
Moved some thms to Arith and to Trancl.
1995-10-25, by nipkow

less more | (0) -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip

isabelle